Skip to content
CI (Coq)

CI (Coq) #421

Sign in to view logs

CI (Coq)

CI (Coq) #421

Triggered via schedule December 1, 2024 01:25
@JasonGrossJasonGross
⁠ 0833256
master
Status Success
Total duration 1m 27s
Artifacts –

coq.yml

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