Skip to content
CI Tests

chore: Use pre-built Lean binary in Nix build (#64) #32

Sign in to view logs

chore: Use pre-built Lean binary in Nix build (#64)

chore: Use pre-built Lean binary in Nix build (#64) #32

Triggered via push October 20, 2025 15:12
@samuelburnhamsamuelburnham
pushed 731ae32
main
Status Success
Total duration 32s
Artifacts –

ci.yml

on: push
Lean Build
28s
Lean Build
Fit to window
Zoom out
Zoom in