Mathlib Changelog
v4
Changelog
About
Github
Commit
2022-09-15 13:26
bc465c46
View on Github →
fix: various bors issues (
#413
)
Estimated changes
Modified
.github/workflows/bors.yml
Modified
.github/workflows/build.yml
Modified
.github/workflows/build.yml.in
Modified
.github/workflows/build_fork.yml
Modified
Mathlib/Tactic/Alias.lean
modified
def
Tactic.Alias.aliasIff
Modified
bors.toml