Skip to content

Coq

Coq #609

Triggered via schedule November 1, 2023 01:10
Status Success
Total duration 6m 19s
Artifacts

coq.yml

on: schedule
Matrix: build
Fit to window
Zoom out
Zoom in