]> git.lizzy.rs Git - rust.git/commit
Auto merge of #2593 - RalfJung:ci, r=RalfJung
authorbors <bors@rust-lang.org>
Fri, 14 Oct 2022 08:14:40 +0000 (08:14 +0000)
committerbors <bors@rust-lang.org>
Fri, 14 Oct 2022 08:14:40 +0000 (08:14 +0000)
commit3e5ffd893165caf776a9f3c5ad03c354eae1a418
treeb1269a07a83c008302697b69627676bb3ababa48
parentd8761c02bf02456dc97fc6ac100bff18ce924108
parenta1bc9ad6ed3ad4adfa23927e780fc3998eea3b2e
Auto merge of #2593 - RalfJung:ci, r=RalfJung

CI improvements

- cache RTIM for the style checks
- disable fail-fast for main checks so that we can see whether the other jobs are green