Update coq-windows.yml #866

Triggered via push November 11, 2023 10:23

JasonGross

master

Status Failure

Total duration 5h 8m 40s

Artifacts 3

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docker-coq.yml

on: push

Matrix: docker-build

Produced during runtime

Name	Size
ExtractionHaskell-master Expired	4.69 KB
ExtractionOCaml-master Expired	3.12 KB
generated-files-master Expired	4.71 MB