Trigger CI for https://github.com/leanprover/lean4/pull/3183 #66162
build.yml
on: push
Cancel Previous Runs (CI)
2s
check workflows
9s
Post-CI job
0s