Skip to content
continuous integration

Update lean-toolchain for testing https://github.com/leanprover/lean4… #59810

Sign in to view logs

Update lean-toolchain for testing https://github.com/leanprover/lean4…

Update lean-toolchain for testing https://github.com/leanprover/lean4… #59810

Triggered via push December 9, 2023 20:49
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed bc82d09
lean-pr-testing-3043
Status Success
Total duration 1h 13m 55s
Artifacts –

build.yml

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