Skip to content

Coq

Coq #693

Triggered via schedule June 1, 2024 01:17
Status Success
Total duration 4m 22s
Artifacts

coq.yml

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