Skip to content
CI (Coq, Windows)

CI (Coq, Windows) #3607

Sign in to view logs

CI (Coq, Windows)

CI (Coq, Windows) #3607

Triggered via schedule July 1, 2023 01:43
@JasonGrossJasonGross
⁠ c371fb8
master
Status Success
Total duration 4h 27m 9s
Artifacts 1

coq-windows.yml

on: schedule
build-windows
4h 26m
build-windows
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
ExtractionOCaml Expired
1.88 GB