Update lean-toolchain for testing https://github.com/leanprover/lean4… #5593
leanprover-community-mathlib4-botbuild.yml
on: push
Annotations
19 errors
|
Build
Process completed with exit code 1.
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
Process completed with exit code 1.
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
fail to show termination for
|
|
Build
Process completed with exit code 3.
|