Skip to content
CI (Coq, Alpine)

Reveal nodes on demand rather than up-front #1021

Sign in to view logs

Reveal nodes on demand rather than up-front

Reveal nodes on demand rather than up-front #1021

Triggered via pull request March 12, 2025 23:57
@JasonGrossJasonGross
synchronize #2059
JasonGross:reveal-nodes-as-needed
Status Cancelled
Total duration 8h 43m 47s
Artifacts 2

coq-alpine.yml

on: pull_request
Matrix: build
Matrix: test-standalone
publish-standalone
0s
publish-standalone
alpine-check-all
2s
alpine-check-all
Fit to window
Zoom out
Zoom in

Annotations

3 errors
alpine-edge
The operation was canceled.
alpine-edge
Canceling since a higher priority waiting request for CI (Coq, Alpine)-alpine-edge-reveal-nodes-as-needed exists
alpine-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
ExtractionHaskell-edge
6.29 KB
sha256:461a7c70201f952f20f0fdc1560c298e9658e1c5ef85a392e6b45dc97b243334
ExtractionOCaml-edge
5.86 KB
sha256:2ca9287a0db227406be5c757d1f1beee6017725d977699c2fa2579bb3f2c9535