Update lean-toolchain for testing https://github.com/leanprover/lean4… #50811
build.yml
on: push
Cancel Previous Runs (CI)
5s
check workflows
9s
Post-CI job
0s
Annotations
2 errors
Build:
Mathlib/Algebra/BigOperators/Ring.lean#L150
no goals to be solved
|
Build
The process '/usr/bin/bash' failed with exit code 1
|