Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[ci] Test some targets only in the merge queue (#1314)
* [ci] Only run Miri tests in merge queue Comparing [1] (run with the parent commit) and [2] (run with this commit), we see an overall speedup of 19m33s -> 6m53s, or ~65%. These gains will only be realized during PR development; the CI test execution time in the merge queue will remain unchanged. [1] https://github.com/google/zerocopy/actions/runs/9149347472 [2] https://github.com/google/zerocopy/actions/runs/9149505999?pr=1313 * [ci] Test some targets only in the merge queue Comparing [1] (run with the parent commit) and [2] (run with this commit), we see an overall speedup of 6m54s -> 5m36s, or ~19%. These gains will only be realized during PR development; the CI test execution time in the merge queue will remain unchanged. Makes progress on #1310 [1] https://github.com/google/zerocopy/actions/runs/9149561660 [2] https://github.com/google/zerocopy/actions/runs/9149620991?pr=1314
- Loading branch information