Skip to content
continuous integration

Update lean-toolchain for https://github.com/leanprover/lean4/pull/8914 #199682

Sign in to view logs

Update lean-toolchain for https://github.com/leanprover/lean4/pull/8914

Update lean-toolchain for https://github.com/leanprover/lean4/pull/8914 #199682

Triggered via push June 22, 2025 04:31
@ghostghost
pushed 0c88cd9
lean-pr-testing-8914
Status Success
Total duration 47m 25s
Artifacts 1

build.yml

on: push
Lint style
1m 43s
Lint style
Build
45m 15s
Build
Post-Build Step
1m 55s
Post-Build Step
Post-CI job
7s
Post-CI job
CI Success
3s
CI Success
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build
Process completed with exit code 3.

Artifacts

Produced during runtime
Name Size Digest
import-graph Expired
228 KB
sha256:3d439f57bda8fc8d7fab59ccf0ff3a41896fcf627be721a6e8430d150526638f