Update lean-toolchain for testing https://github.com/leanprover/lean4… #55382
build.yml
on: push
Cancel Previous Runs (CI)
5s
check workflows
9s
Post-CI job
11s
Annotations
5 warnings
check workflows
The process '/usr/bin/git' failed with exit code 128
|
Check all files imported
The process '/usr/bin/git' failed with exit code 128
|
Lint style
The process '/usr/bin/git' failed with exit code 128
|
Build
The process '/usr/bin/git' failed with exit code 128
|
Post-CI job
The process '/usr/bin/git' failed with exit code 128
|