chore: adaptations for lean4#5542 #130224
kmillbuild.yml
on: push
Cancel Previous Runs (CI)
2s
Post-CI job
0s
Annotations
1 error
|
Build
The process '/usr/bin/bash' failed with exit code 1
|