Skip to content

Debian CI

Debian CI #4173

Triggered via pull request August 7, 2023 16:51
Status Cancelled
Total duration 5m 20s
Artifacts 2

coq.yml

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

Annotations

2 errors
Ubuntu LTS
Canceling since a higher priority waiting request for 'CI (Coq)-Ubuntu LTS-debian-ci' exists
Ubuntu LTS
The operation was canceled.

Artifacts

Produced during runtime
Name Size
ExtractionHaskell-Ubuntu LTS Expired
4.69 KB
ExtractionOCaml-Ubuntu LTS Expired
3.12 KB