Skip to content

fix := bug in non-Lean output introduced with Lean commits

dea15d6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Lean experiment #137

fix := bug in non-Lean output introduced with Lean commits
dea15d6
Select commit
Loading
Failed to load commit list.
build (coqorg/coq:dev)
failed Mar 10, 2026 in 19s