Skip to content
CI (Coq, Alpine)

Reveal nodes on demand rather than up-front #1030

Sign in to view logs

Reveal nodes on demand rather than up-front

Reveal nodes on demand rather than up-front #1030

Triggered via pull request March 13, 2025 05:49
@JasonGrossJasonGross
synchronize #2059
JasonGross:reveal-nodes-as-needed
Status Failure
Total duration 10h 29m 29s
Artifacts 4

coq-alpine.yml

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

Annotations

5 errors
alpine-edge
Process completed with exit code 2.
alpine-edge
Makefile.coq:818: src/Assembly/Symbolic.v
alpine-edge
Makefile.coq:818: src/Assembly/Symbolic.v
alpine-edge: ./src/Assembly/Symbolic.v#L3682
(in proof split_consts_correct): Attempt to save an incomplete proof (there are remaining open goals).
alpine-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
ExtractionHaskell-edge
6.29 KB
sha256:0e4acbaf3d660fa738266723b42ce235a3e51159f5e74a278ce46859c4956711
ExtractionOCaml-edge
5.86 KB
sha256:2a5abbb2ee0627c6ec039d7609c023e34a76af246cbb4402eac08490ddd1e249
generated-files-edge
4.9 MB
sha256:e8c6cdfe19cf1921a02704739bea25097bfc81458d6adc637a3f6707f54a3837
timing-files-edge
1.78 MB
sha256:2c8cc76dffefc8ba2d517c869a9ad22bc47a6f6cc0654d8a9ccd7a92b393bd32