Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/3121 #64732

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/3121 #64732

Triggered via push January 8, 2024 13:40
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed fee326a
lean-pr-testing-3121
Status Success
Total duration 1h 19m 29s
Artifacts –

build.yml

on: push
Lint style
49s
Lint style
Check all files imported
10s
Check all files imported
Build
1h 19m
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
check workflows
8s
check workflows
Post-CI job
11s
Post-CI job
Fit to window
Zoom out
Zoom in