[CI] Add Arch Linux test · mit-plv/fiat-crypto@045c6a6

Triggered via pull request December 21, 2023 18:20

JasonGross

opened #1788

JasonGross:test-arch

Status Cancelled

Total duration 41s

Artifacts 3

coq-archlinux.yml

on: pull_request

3 errors

Canceling since a higher priority waiting request for 'CI (Coq, Arch Linux)-archlinux-test-arch' exists

The operation was canceled.

Process completed with exit code 1.

Produced during runtime

Name	Size
ExtractionHaskell-archlinux Expired	6.35 KB
ExtractionJsOfOCaml-archlinux Expired	755 Bytes
ExtractionOCaml-archlinux Expired	5.9 KB