Skip to content

CI (Coq, Alpine)

CI (Coq, Alpine) #40

Triggered via schedule January 1, 2024 01:18
Status Success
Total duration 6m 48s
Artifacts

coq-alpine.yml

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