Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/3125 #66086

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/3125 #66086

Triggered via push January 14, 2024 14:37
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed 7f8a107
lean-pr-testing-3125
Status Success
Total duration 1h 14m 42s
Artifacts –

build.yml

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