Update lean-toolchain for testing https://github.com/leanprover/lean4… #86061
leanprover-community-mathlib4-botbuild.yml
on: push
Cancel Previous Runs (CI)
3s
check workflows
10s
Post-CI job
0s
Annotations
20 errors
|
Build
type mismatch
|
|
Build
expected type must not contain free or meta variables
|
|
Build
type mismatch
|
|
Build
expected type must not contain free or meta variables
|
|
Build
type mismatch
|
|
Build
expected type must not contain free or meta variables
|
|
Build
type mismatch
|
|
Build
expected type must not contain free or meta variables
|
|
Build
type mismatch
|
|
Build
expected type must not contain free or meta variables
|
|
Build
type mismatch
|
|
Build
expected type must not contain free or meta variables
|
|
Build
type mismatch
|
|
Build
expected type must not contain free or meta variables
|
|
Build
type mismatch
|
|
Build
expected type must not contain free or meta variables
|
|
Build
type mismatch
|
|
Build
expected type must not contain free or meta variables
|
|
Build
type mismatch
|
|
Build
expected type must not contain free or meta variables
|