Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4273 #93725

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/4273 #93725

Triggered via push May 25, 2024 01:42
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed 85d49b9
lean-pr-testing-4273
Status Cancelled
Total duration 24m 37s
Artifacts –

build.yml

on: push
Lint style
44s
Lint style
Check all files imported
8s
Check all files imported
Build
24m 30s
Build
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
check workflows
9s
check workflows
summarize_declarations
24s
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.