Skip to content
CI (Coq, Alpine)

Add opcode_size for nop so we don't get errors (#2060) #1036

Sign in to view logs

Add opcode_size for nop so we don't get errors (#2060)

Add opcode_size for nop so we don't get errors (#2060) #1036

Triggered via push March 13, 2025 21:15
@JasonGrossJasonGross
pushed fe2c1d0
master
Status Failure
Total duration 39m 48s
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:0f5e4067103614f31922f75d371382816223fc33fb3dc3e443cc3d77ef1db2f5
ExtractionOCaml-edge
5.86 KB
sha256:5404f606fe75af4b1df75a4e4589de100676e30ee8444cf7be5b14bada415ff8
generated-files-edge
4.89 MB
sha256:5d9b7b157de324ed4e5ded50c65af59098653a0d3b1a60b9fda01b8f89fd8e13
timing-files-edge
2.17 KB
sha256:8ac62c1dced17f28b7161480e6a1a728fc126a662051cf674872ba19b8dd3f4e