Merge pull request #108 from leanprover-community/bump_to_v4.18.0-rc1

chore: bump toolchain to v4.18.0-rc1

Merge pull request #107 from leanprover-community/bump_to_v4.17.0

chore: bump toolchain to v4.17.0

Merge pull request #106 from mhuisi/lean-pr-testing-7087

chore: adapt for leanprover/lean4#7087

feat: customizable error message on build (#105)

* feat; customizable error message on build

* doc: add errorOnBuild to README

---------

Co-authored-by: Wojciech Nawrocki <[email protected]>

Merge pull request #104 from leanprover-community/bump_to_v4.17.0-rc1

chore: bump toolchain to v4.17.0-rc1

Merge pull request #103 from leanprover-community/bump_to_v4.16.0

chore: bump toolchain to v4.16.0

fix

update batteries

Merge pull request #101 from leanprover-community/bump_to_v4.16.0-rc1

chore: bump toolchain to v4.16.0-rc1

Merge pull request #100 from leanprover-community/bump_to_v4.15.0

chore: bump toolchain to v4.15.0