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