CI (Coq, Arch Linux)

[do not merge] bench garagedoor build on arch #79

Sign in to view logs

Summary
Jobs
- archlinux
Run details
- Usage
- Workflow file

Triggered via pull request March 19, 2024 02:28

opened #1833

andres-erbsen-patch-1

Status Success

Total duration 48m 53s

Artifacts –

coq-archlinux.yml

on: pull_request