Skip to content

llvm-custom to 20.0.0-unstable-2024-11-15 and bump alive2's #654

llvm-custom to 20.0.0-unstable-2024-11-15 and bump alive2's

llvm-custom to 20.0.0-unstable-2024-11-15 and bump alive2's #654

build (macos-latest, alive2-regehr)

succeeded Dec 16, 2024 in 34m 19s
Set up job
2s
Run actions/checkout@v4
2s
Run cachix/install-nix-action@v25
25s
Run cachix/cachix-action@v14
5s
Apply staged patch commits
0s
Check for meta.broken
19s
Run ./nix-cached.sh build --impure -L .#alive2-regehr
33m 20s
Run nix build .#alive2-regehr.tests
2s
Report status of broken packages
0s
Run ls -l
0s
Post Run cachix/cachix-action@v14
0s
Post Run actions/checkout@v4
0s
Complete job
0s