Commit graph

9 commits

Author SHA1 Message Date
Jakub Beránek
75df299225
Mirror ubuntu:24.04 on ghcr 2025-12-09 11:30:03 +01:00
Rej Ect
0d723234b3
chore(ci): upgrade checkout to v5
chore(ci): upgrade checkout to v5
2025-08-12 15:26:29 +03:00
Chris Denton
6671d9b92a
Rename mingw-check-tidy to tidy 2025-07-02 08:48:20 +00:00
Chris Denton
62949cd2d6
Rename mingw-* CI jobs to pr-* 2025-07-01 20:25:56 +00:00
MarcoIeni
d76e89f363
CI: mirror alpine and centos images to ghcr 2025-03-18 11:35:16 +01:00
bors
0493557083 Auto merge of #135682 - matthiaskrgr:rollup-cl7zlt1, r=matthiaskrgr
Rollup of 7 pull requests

Successful merges:

 - #133700 (const-eval: detect more pointers as definitely not-null)
 - #135290 (Encode constraints that hold at all points as logical edges in location-sensitive polonius)
 - #135478 (Run clippy for rustc_codegen_gcc on CI)
 - #135583 (Move `std::pipe::*` into `std::io`)
 - #135612 (Include x scripts in tarballs)
 - #135624 (ci: mirror buildkit image to ghcr)
 - #135661 (Stabilize `float_next_up_down`)

r? `@ghost`
`@rustbot` modify labels: rollup
2025-01-18 18:40:20 +00:00
MarcoIeni
5f495153f0
ci: mirror buildkit image to ghcr 2025-01-17 12:59:48 +01:00
MarcoIeni
5d07ee860f
ci: improve github action name 2025-01-17 11:41:40 +01:00
MarcoIeni
f5fe0a0293
ci: mirror ubuntu:22.04 to ghcr.io 2025-01-16 11:21:41 +01:00