CI (Coq, Alpine)

[CI] [alpine-edge] coq => rocq #1037

Sign in to view logs

Triggered via pull request March 13, 2025 21:20

JasonGross

opened #2066

fix-alpine

Status Failure

Total duration 1h 4m 6s

Artifacts 4

coq-alpine.yml

on: pull_request

Matrix: build

Matrix: test-standalone

publish-standalone

alpine-check-all

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:945c789a0dbe7ba03557cf1858bf81c18deb8f3d8fda1fdc21b398ed6bc7a750`
ExtractionOCaml-edge	5.86 KB	`sha256:3a757dc28e3b85f8def96f84bb697bc28b0827d241376092d65201829c6991e5`
generated-files-edge	4.9 MB	`sha256:3cb081aa1fb3b7894ff5cedbd643710925eb4527db5ae49a4436f0cfcc92210f`
timing-files-edge	2.17 KB	`sha256:257ecd240cc0abed1e1773aeec50b028b04ee9f14be8bd6e4c2948491aac644f`