Skip to content
CI (Coq)

Update coq.yml #129

Sign in to view logs

Update coq.yml

Update coq.yml #129

Triggered via push September 18, 2024 08:04
@JasonGrossJasonGross
pushed 72f431d
master
Status Cancelled
Total duration 10m 18s
Artifacts –

coq.yml

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

Annotations

15 errors
docker-
The run was canceled by @JasonGross.
docker-
The run was canceled by @JasonGross.
docker-
The run was canceled by @JasonGross.
docker-
The run was canceled by @JasonGross.
docker-
The run was canceled by @JasonGross.
docker-
The run was canceled by @JasonGross.
docker-
The run was canceled by @JasonGross.
docker-
The operation was canceled.
docker-
The run was canceled by @JasonGross.
docker-
A task was canceled.
docker-
The run was canceled by @JasonGross.
docker-
A task was canceled.
docker-
The run was canceled by @JasonGross.
docker-
The operation was canceled.
docker-check-all
Process completed with exit code 1.