[pre-commit.ci] pre-commit autoupdate #1986
ci.yml
on: pull_request
lean3-version
5s
pre-commit
46s
Matrix: ci