Merge pull request #298 from Julian/pre-commit-ci-update-config #1984
ci.yml
on: push
lean3-version
4s
pre-commit
49s
Matrix: ci