]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d8761c0 a1bc9ad)
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)
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


Trivial merge
Empowering everyone to build reliable and efficient software.