Commit 2023-11-19 20:53 34ab8d46

View on Github →

chore: build ProofWidgets before tests (#8416) After leanprover/lean4#2766 this becomes critical.

Estimated changes