CI (Coq, Arch Linux)

[CI] Add Arch Linux test #5

Sign in to view logs

Triggered via pull request December 24, 2023 02:14

JasonGross

synchronize #1788

JasonGross:test-arch

Status Failure

Total duration 15m 41s

Artifacts 4

coq-archlinux.yml

on: pull_request

test-standalone

publish-standalone-dry-run

archlinux-check-all

Annotations

11 errors

Makefile.coq.test:838: src/coqutil/Byte.v

Makefile.coq.test:409: all

Makefile:44: test

Makefile.coq:838: src/Coqprime/Tactic/Tactic.v

Makefile.coq:838: src/Rewriter/Util/GlobalSettings.v

Makefile.coq:838: src/Rewriter/Util/IffT.v

Makefile.coq:409: all

Makefile.coq.test:838: src/coqutil/Byte.v

Makefile.coq.test:409: all

Makefile:44: test

archlinux-check-all

Process completed with exit code 1.

Artifacts

Produced during runtime

Name	Size
ExtractionHaskell-archlinux Expired	6.35 KB
ExtractionJsOfOCaml-archlinux Expired	755 Bytes
ExtractionOCaml-archlinux Expired	5.9 KB
generated-files-archlinux Expired	4.26 MB