Skip to content

Coq

Coq #705

Triggered via schedule August 1, 2024 01:23
Status Success
Total duration 4m 21s
Artifacts

coq.yml

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