Skip to content
Coq

Coq #712

Sign in to view logs

Coq

Coq #712

Triggered via schedule September 1, 2024 01:41
@jadephilipoomjadephilipoom
⁠ d55f2d7
master
Status Success
Total duration 4m 4s
Artifacts –

coq.yml

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