Skip to content

Coq

Coq #719

Triggered via schedule November 1, 2024 01:41
Status Success
Total duration 4m 5s
Artifacts

coq.yml

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