Skip to content
continuous integration

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

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 #66249

Triggered via push January 15, 2024 14:54
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed 5b3c8cb
lean-pr-testing-3121
Status Success
Total duration 1h 19m 23s
Artifacts –

build.yml

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