Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4119 #91063

Sign in to view logs

Trigger CI for https://github.com/leanprover/lean4/pull/4119

Trigger CI for https://github.com/leanprover/lean4/pull/4119 #91063

Triggered via push May 14, 2024 02:27
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed 17700c6
lean-pr-testing-4119
Status Cancelled
Total duration 27m 52s
Artifacts –

build.yml

on: push
Lint style
1m 13s
Lint style
Check all files imported
9s
Check all files imported
Build
27m 44s
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
check workflows
8s
check workflows
summarize_declarations
21s
summarize_declarations
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build
The run was canceled by @github-actions[bot].
Build
The operation was canceled.