Skip to content
CI (Coq, Alpine)

Update coq-alpine.yml #35

Sign in to view logs

Update coq-alpine.yml

Update coq-alpine.yml #35

Triggered via push December 25, 2023 02:13
@JasonGrossJasonGross
pushed c07f206
alpine-testing
Status Success
Total duration 14m 6s
Artifacts –

coq-alpine.yml

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