Skip to content
CI (Coq, Alpine)

Use docker for all Coq versions #82

Sign in to view logs

Use docker for all Coq versions

Use docker for all Coq versions #82

Triggered via pull request October 4, 2024 20:13
@JasonGrossJasonGross
opened #161
docker-only
Status Cancelled
Total duration 2m 7s
Artifacts –

coq-alpine.yml

on: pull_request
Matrix: build
alpine-check-all
0s
alpine-check-all
Fit to window
Zoom out
Zoom in

Annotations

3 errors
alpine-edge
Canceling since a higher priority waiting request for 'CI (Coq, Alpine)-alpine-edge-docker-only' exists
alpine-edge
The operation was canceled.
alpine-check-all
Process completed with exit code 1.