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

configure

configure
succeeded Feb 24, 2025 in 1s