Skip to content
continuous integration

Trigger CI for https://github.com/leanprover-community/batteries/pull… #197859

Sign in to view logs

Trigger CI for https://github.com/leanprover-community/batteries/pull…

Trigger CI for https://github.com/leanprover-community/batteries/pull… #197859

Triggered via push June 9, 2025 16:51
@ghostghost
pushed b3aa57a
batteries-pr-testing-1267
Status Success
Total duration 45m 15s
Artifacts 1

build.yml

on: push
Build
43m 1s
Build
Lint style
2m 49s
Lint style
Post-Build Step
1m 46s
Post-Build Step
CI Success
0s
CI Success
Post-CI job
4s
Post-CI job
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
226 KB
sha256:230843e94239ef9ab541795da2f14b3a0a7dd7df655f1f9c1c671fbfea4c08e1
⚡