Skip to content
continuous integration

lake update #5652

Sign in to view logs

lake update

lake update #5652

Triggered via push December 13, 2025 09:45
@kim-emkim-em
pushed 62f51b3
nightly-testing
Status Cancelled
Total duration 3m 15s
Artifacts –

build.yml

on: push
Build
3m 12s
Build
Lint style
2m 10s
Lint style
Post-Build Step
Post-Build Step
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

11 errors and 2 warnings
Build
Canceling since a higher priority waiting request for continuous integration-refs/heads/nightly-testing- exists
Build
Process completed with exit code 1.
Build
failed to synthesize instance of type class
Build
Application type mismatch: The argument
Build
Application type mismatch: The argument
Build
Process completed with exit code 1.
Build
failed to synthesize instance of type class
Build
Application type mismatch: The argument
Build
Application type mismatch: The argument
Build
Process completed with exit code 3.
continuous integration
Canceling since a higher priority waiting request for continuous integration-refs/heads/nightly-testing- exists
Build
`Lean.Elab.Term.Context.autoBoundImplicit` has been deprecated: replace with a check of autoBoundImplicitContext
Build
`Lean.Elab.Term.Context.autoBoundImplicit` has been deprecated: replace with a check of autoBoundImplicitContext