Skip to content
CI (Coq, Debian)

[DO NOT MERGE] Bench garagedoor april #722

Sign in to view logs

[DO NOT MERGE] Bench garagedoor april

[DO NOT MERGE] Bench garagedoor april #722

Triggered via pull request April 6, 2024 05:08
@andres-erbsenandres-erbsen
opened #1853
andres-erbsen:bench-garagedoor-april
Status Failure
Total duration 1h 0m 48s
Artifacts –

coq-debian.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error
debian-sid
Process completed with exit code 2.