Skip to content
CI (Coq, Alpine)

Add proof that map is injective (#2061) #1039

Sign in to view logs

Add proof that map is injective (#2061)

Add proof that map is injective (#2061) #1039

Triggered via push March 13, 2025 22:16
@JasonGrossJasonGross
pushed 45d5829
master
Status Failure
Total duration 1h 31m 20s
Artifacts 4

coq-alpine.yml

on: push
Matrix: build
Matrix: test-standalone
publish-standalone
0s
publish-standalone
alpine-check-all
3s
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:1628112df8183376d2adfbcee8074812681d8458bf45962a606672e22afca16c
ExtractionOCaml-edge
5.86 KB
sha256:82457f68d8408daa5a541597e59a8e27cc95df9cd80da95977f8e8750c2ce228
generated-files-edge
4.9 MB
sha256:f8d5611e020acff444922237a03f8b726f0a100eafcfbd954e07eea435cc6571
timing-files-edge
2.16 KB
sha256:8a8ea93cbc4af5bfb9b61af761d0c0f3d1afd6990a3095b3dc64e03839cbbcbf