Skip to content
continuous integration

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

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

Triggered via push June 9, 2025 00:07
@ghostghost
pushed 0b8c7f0
batteries-pr-testing-1267
Status Success
Total duration 45m 31s
Artifacts 1

build.yml

on: push
Build
43m 9s
Build
Lint style
1m 51s
Lint style
Post-Build Step
1m 58s
Post-Build Step
Post-CI job
2s
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:7c2a5d499c1b6e02dd951adf645c759bf2f50aab5c94c79083c57d012ffe6ecf
⚡