Skip to content

[CI] Add Arch Linux test #2

[CI] Add Arch Linux test

[CI] Add Arch Linux test #2

Triggered via pull request December 21, 2023 18:20
Status Failure
Total duration 3m 35s
Artifacts 4

coq-archlinux.yml

on: pull_request
test-standalone
0s
test-standalone
publish-standalone-dry-run
0s
publish-standalone-dry-run
archlinux-check-all
0s
archlinux-check-all
Fit to window
Zoom out
Zoom in

Annotations

2 errors
archlinux
Process completed with exit code 1.
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