Skip to content
continuous integration

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

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

Triggered via push May 28, 2025 16:35
@ghostghost
pushed cbe49fd
lean-pr-testing-8519
Status Success
Total duration 44m 20s
Artifacts 1

build.yml

on: push
Build
43m 57s
Build
Lint style
3m 9s
Lint style
Post-CI job
5s
Post-CI job
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
import-graph Expired
224 KB
sha256:db21cac60fb491d432fcbc13bea49cf7e54542b4e91d1ef9cfe455e6c8494926