diff options
author | 2017-09-07 21:36:23 +0200 | |
---|---|---|
committer | 2017-09-08 09:47:25 +0200 | |
commit | f7fc22e6fd665e73fe98846efa36a60e4bad05fe (patch) | |
tree | 07a0d8186d0a24188dc895665408751f6d93a56e /scripts/ci | |
parent | ee250c6e9e7e24761ff26d3ee225ad485a7facf3 (diff) |
We no longer assert preservation of order in a rule's required toolchains.
PiperOrigin-RevId: 167896210
Diffstat (limited to 'scripts/ci')
0 files changed, 0 insertions, 0 deletions