Skip to content
CI (Coq, Alpine)

[CI] [alpine-edge] coq => rocq (#2066) #1038

Sign in to view logs

[CI] [alpine-edge] coq => rocq (#2066)

[CI] [alpine-edge] coq => rocq (#2066) #1038

Triggered via push March 13, 2025 21:21
@JasonGrossJasonGross
pushed 8bf5ebe
master
Status Failure
Total duration 1h 21m 9s
Artifacts 4

coq-alpine.yml

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

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:26c8f977fe300cf6ccced8c6302abb5ed9d2e1fa6f5465a5d14b5390ebe30eb3
ExtractionOCaml-edge
5.86 KB
sha256:810b651c54126f7ddf7d9a86d027c549fbd15d9d34736cf7e42d9876e9b1bf9b
generated-files-edge
4.9 MB
sha256:1813cb7a181d3ae7277c84fd69206dace26980264157026b446a1a88aa50b082
timing-files-edge
2.16 KB
sha256:18960be29d5eb0aa262b3691ecbd4a24666f8884ca6e6e5977c464d7845e72aa