Update lean-toolchain for testing https://github.com/leanprover/lean4… #199429
ghostbuild.yml
on: push
Annotations
13 errors
|
Build
Process completed with exit code 1.
|
|
Build
failed to synthesize
|
|
Build
elaboration function for 'Qq.«termQ(__)»' has not been implemented
|
|
Build
invalid argument name 'nonDep' for function 'Lean.LocalDecl.ldecl'
|
|
Build
Application type mismatch: In the application
|
|
Build
simp made no progress
|
|
Build
Process completed with exit code 1.
|
|
Build
simp made no progress
|
|
Build
failed to synthesize
|
|
Build
elaboration function for 'Qq.«termQ(__)»' has not been implemented
|
|
Build
invalid argument name 'nonDep' for function 'Lean.LocalDecl.ldecl'
|
|
Build
Application type mismatch: In the application
|
|
Build
Process completed with exit code 3.
|