Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/2967 #61256

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/2967 #61256

Triggered via push December 16, 2023 18:19
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed ae5abb1
lean-pr-testing-2967
Status Success
Total duration 21m 47s
Artifacts –

build.yml

on: push
Lint style
40s
Lint style
Check all files imported
11s
Check all files imported
Build
21m 25s
Build
Cancel Previous Runs (CI)
2s
Cancel Previous Runs (CI)
check workflows
7s
check workflows
Post-CI job
8s
Post-CI job
Fit to window
Zoom out
Zoom in