Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/8419 #192916

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/8419 #192916

Triggered via push May 21, 2025 14:38
@ghostghost
pushed e639ec9
lean-pr-testing-8419
Status Success
Total duration 43m 54s
Artifacts 1

build.yml

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

Artifacts

Produced during runtime
Name Size Digest
import-graph Expired
223 KB
sha256:2e30427f43528a6fa279e478da02a7f9054eb36648db28b63add13dd32f5d219