? is a valid identifier character in Lean. #1969
ci.yml
on: push
lean3-version
5s
pre-commit
1m 2s
Matrix: ci