Skip to content
CI (Coq, Arch Linux)

[do not merge] bench garagedoor build with -j on Arch #80

Sign in to view logs

[do not merge] bench garagedoor build with -j on Arch

[do not merge] bench garagedoor build with -j on Arch #80

Triggered via pull request March 19, 2024 02:38
@andres-erbsenandres-erbsen
opened #1834
andres-erbsen-patch-2
Status Success
Total duration 48m 2s
Artifacts –

coq-archlinux.yml

on: pull_request
archlinux
44m 40s
archlinux
Fit to window
Zoom out
Zoom in