Skip to content

Coq

Coq #698

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

coq.yml

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