Skip to content
CI (Coq, Alpine)

Add --asm-node-reveal-depth (#2055) #1040

Sign in to view logs

Add --asm-node-reveal-depth (#2055)

Add --asm-node-reveal-depth (#2055) #1040

Triggered via push March 13, 2025 22:25
@JasonGrossJasonGross
pushed fd88aae
master
Status Failure
Total duration 1h 23m 34s
Artifacts 4

coq-alpine.yml

on: push
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

11 errors
alpine-edge
Makefile:44: test
alpine-edge
Makefile.coq.test:416: all
alpine-edge
Makefile.coq.test:818: src/coqutil/Byte.v
alpine-edge
Makefile.coq:416: all
alpine-edge
Makefile.coq:818: src/Rewriter/Util/Bool.v
alpine-edge
Makefile.coq:818: src/Rewriter/Util/IffT.v
alpine-edge
Makefile.coq:818: src/Coqprime/N/NatAux.v
alpine-edge
Makefile:44: test
alpine-edge
Makefile.coq.test:416: all
alpine-edge
Makefile.coq.test:818: src/coqutil/Byte.v
alpine-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
ExtractionHaskell-edge
6.29 KB
sha256:4902fb8b721dd7981a48f4e037b342e9816fe070e4144186f5dd25c53494efe1
ExtractionOCaml-edge
5.86 KB
sha256:92700f2ed91cc75594265bc3957c28b4b1716e2bc9160cbe53b279e1d0a40a9b
generated-files-edge
4.9 MB
sha256:8bb9808acf113ce65c7e5c8e2980dcf87d9e895b126e392038cb921d9bcb57eb
timing-files-edge
2.16 KB
sha256:99aa922d7ecb94f549d0f6800ac8678dcf966f1b74ad37b7a1b5d1a6437467e2