Skip to content
Nix CI

fix: make the stage2 Leanc build use stage2 oleans rather than stage1 oleans #25881

Sign in to view logs

fix: make the stage2 Leanc build use stage2 oleans rather than stage1 oleans

fix: make the stage2 Leanc build use stage2 oleans rather than stage1 oleans #25881

Run time

Learn about OS pricing on GitHub Actions
Job Run time
configure
1s
Nix Linux
13m 12s
13m 13s