Mathlib Changelog
v4
Changelog
About
Github
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
Modified
.github/workflows/bors.yml
Modified
.github/workflows/build.yml
Modified
.github/workflows/build.yml.in
Modified
.github/workflows/build_fork.yml