Skip to content

Coq

Coq #688

Triggered via schedule May 1, 2024 01:13
Status Success
Total duration 4m 14s
Artifacts

coq.yml

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