Skip to content
CI (Coq, Alpine)

Also run Alpine CI on alpine-testing #33

Sign in to view logs

Also run Alpine CI on alpine-testing

Also run Alpine CI on alpine-testing #33

Triggered via push December 25, 2023 02:08
@JasonGrossJasonGross
pushed 7cdc6a1
alpine-testing
Status Success
Total duration 15m 22s
Artifacts –

coq-alpine.yml

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