CI (Coq, Arch Linux)

Add support for more assembly #552

Sign in to view logs

Triggered via pull request March 5, 2025 04:46

JasonGross

synchronize #2016

JasonGross:more-asm

Status Failure

Total duration 8h 20m 36s

Artifacts 4

coq-archlinux.yml

on: pull_request

test-standalone

publish-standalone-dry-run

archlinux-check-all

Annotations

5 errors

Process completed with exit code 2.

Makefile.coq:818: src/Assembly/Parse.v

Makefile.coq:818: src/Assembly/Parse.v

archlinux: ./src/Assembly/Parse.v#L44

The reference list_all was not found in the current environment.

archlinux-check-all

Process completed with exit code 1.

Artifacts

Produced during runtime

Name	Size	Digest
ExtractionHaskell-archlinux	6.29 KB	`sha256:58d4f2bf6601d6f066f8930341ef7b015b85a2d1ddd79ef6557b5241ca2321c6`
ExtractionOCaml-archlinux	5.86 KB	`sha256:6824a9dd26ed16c63ea8c43b5da2e76fb2c1c0af5390f9490c234b1aa14c91dc`
generated-files-archlinux	4.87 MB	`sha256:da862f26153d9a1ba591bb14ae1a64a3984ad3f81efd4195f25267f3e0806936`
timing-files-archlinux	1.49 MB	`sha256:c1be56aaa436c797dba4ab945215dadd48f40dd6f460aae0bcf788b06e6c82a2`