Skip to content

Coq

Coq #593

Triggered via schedule September 1, 2023 01:09
Status Success
Total duration 4m 30s
Artifacts

coq.yml

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