Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/3191 #66737

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/3191 #66737

Triggered via push January 17, 2024 15:14
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed baf5e27
lean-pr-testing-3191
Status Cancelled
Total duration 33m 39s
Artifacts –

build.yml

on: push
Lint style
56s
Lint style
Check all files imported
9s
Check all files imported
Build
32m 56s
Build
Cancel Previous Runs (CI)
2s
Cancel Previous Runs (CI)
check workflows
6s
check workflows
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.