Commit 2023-11-17 12:55 b70c910e

View on Github →

chore: use lean4checker matching the toolchain (#8471)

Estimated changes

Modified .github/workflows/bors.yml

Modified .github/workflows/build.yml

Modified .github/workflows/build.yml.in

Modified .github/workflows/build_fork.yml