chore: stage 2 should be built with prefer_native=false
#5465
Triggered via pull request
November 26, 2024 13:44
leanprover-community-bot
leanprover-community-bot
labeled
#6223
Status
Skipped
Total duration
2s
Artifacts
–