Skip to content
continuous integration

. #64448

Sign in to view logs

.

. #64448

Triggered via push January 7, 2024 05:06
@kim-emkim-em
pushed 42f6fb0
lean-pr-testing-3124
Status Cancelled
Total duration 5m 56s
Artifacts –

build.yml

on: push
Lint style
44s
Lint style
Check all files imported
18s
Check all files imported
Build
5m 48s
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
check workflows
7s
check workflows
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

6 errors
Build
The run was canceled by @github-actions[bot].
Build: Mathlib/Tactic/SimpIntro.lean#L24
application type mismatch
Build: Mathlib/Tactic/SimpIntro.lean#L39
application type mismatch
Build: Mathlib/Tactic/SimpIntro.lean#L68
fields missing: 'simprocs'
Build: Mathlib/Util/DischargerAsTactic.lean#L25
typeclass instance problem is stuck, it is often due to metavariables
Build
The operation was canceled.