Skip to content
CI (Coq)

CI (Coq) #404

Sign in to view logs

CI (Coq)

CI (Coq) #404

Triggered via schedule June 1, 2024 01:00
@JasonGrossJasonGross
⁠ f12ff02
master
Status Success
Total duration 1m 42s
Artifacts –

coq.yml

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