Skip to content
CI (Coq, Arch Linux)

Bench garagedoor april2 #142

Sign in to view logs

Bench garagedoor april2

Bench garagedoor april2 #142

Triggered via pull request April 6, 2024 13:23
@andres-erbsenandres-erbsen
opened #1855
andres-erbsen:bench-garagedoor-april2
Status Success
Total duration 47m 3s
Artifacts –

coq-archlinux.yml

on: pull_request
archlinux
46m 54s
archlinux
Fit to window
Zoom out
Zoom in