Skip to content
continuous integration

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

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

Triggered via push June 8, 2025 17:10
@ghostghost
pushed 6140edb
batteries-pr-testing-1267
Status Success
Total duration 43m 43s
Artifacts 1

build.yml

on: push
Build
41m 31s
Build
Lint style
1m 33s
Lint style
Post-Build Step
1m 45s
Post-Build Step
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:0814ee031632879ae3cd5f7ca5aaace3b5548c3578e75001106e691e6a332286
⚡