Skip to content
continuous integration

Update lean-toolchain for testing https://github.com/leanprover/lean4… #198811

Sign in to view logs

Update lean-toolchain for testing https://github.com/leanprover/lean4…

Update lean-toolchain for testing https://github.com/leanprover/lean4… #198811

Triggered via push June 13, 2025 03:08
@ghostghost
pushed 3980527
lean-pr-testing-8751
Status Failure
Total duration 23m 42s
Artifacts –

build.yml

on: push
Lint style
2m 32s
Lint style
Build
23m 40s
Build
Post-Build Step
0s
Post-Build Step
Post-CI job
0s
Post-CI job
CI Success
0s
CI Success
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Build
Process completed with exit code 1.
Build
invalid argument name 'nonDep' for function 'Lean.Expr.letE'
Build
Process completed with exit code 1.
Build
invalid argument name 'nonDep' for function 'Lean.Expr.letE'
Build
Process completed with exit code 3.