Skip to content
CI (Coq)

Update coq.yml #142

Sign in to view logs

Update coq.yml

Update coq.yml #142

Triggered via push September 18, 2024 08:25
@JasonGrossJasonGross
pushed 5a3dcd5
master
Status Cancelled
Total duration 22m 6s
Artifacts –

coq.yml

on: push
Matrix: build
docker-check-all
0s
docker-check-all
Fit to window
Zoom out
Zoom in

Annotations

11 errors
docker-8.12
The run was canceled by @JasonGross.
docker-8.15
The run was canceled by @JasonGross.
docker-8.17-native
The run was canceled by @JasonGross.
docker-8.18-native
The run was canceled by @JasonGross.
docker-8.13
The run was canceled by @JasonGross.
docker-8.16-native
The run was canceled by @JasonGross.
docker-8.14
The run was canceled by @JasonGross.
docker-8.19-native
The run was canceled by @JasonGross.
docker-8.11
The run was canceled by @JasonGross.
docker-dev-native
The run was canceled by @JasonGross.
docker-check-all
Process completed with exit code 1.