Trigger CI for https://github.com/leanprover-community/batteries/pull… #197895
ghostbuild.yml
on: push
Build
47m 28s
Lint style
2m 45s
CI Success
2s
Post-CI job
6s
Annotations
1 error
|
Build
Process completed with exit code 3.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
226 KB |
sha256:d2b047a8ba5cf40b6dc9af2b73ec5695eeeb9ab5a9feb115796d8357a9b6db98
|
|