Skip to content
continuous integration

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

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… #168805

Triggered via push February 23, 2025 18:15
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed 47bab9b
lean-pr-testing-7195
Status Success
Total duration 50m 32s
Artifacts 1

build.yml

on: push
Lint style
1m 42s
Lint style
Build
50m 5s
Build
Post-CI job
12s
Post-CI job
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
import-graph
201 KB