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