Skip to content
CI (Coq, Debian)

Debian CI #24

Sign in to view logs

Debian CI

Debian CI #24

Triggered via pull request August 7, 2023 18:31
@andres-erbsenandres-erbsen
synchronize #1632
andres-erbsen:debian-ci
Status Failure
Total duration 52m 59s
Artifacts 3

coq-debian.yml

on: pull_request
Matrix: build
test-amd64
0s
test-amd64
Fit to window
Zoom out
Zoom in

Annotations

2 errors
sid
Process completed with exit code 2.
bookworm
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size
ExtractionHaskell- Expired
4.69 KB
ExtractionOCaml- Expired
3.12 KB
generated-files- Expired
4.71 MB