Skip to content

Coq

Coq #601

Triggered via schedule October 1, 2023 01:14
Status Success
Total duration 4m 54s
Artifacts

coq.yml

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