Windows CI

remove overlays for coqprime and metacoq #58

Triggered via push October 7, 2023 07:01

Status Success

Total duration 1h 11m 54s

Artifacts 1

ci-windows.yml

on: push

Matrix: Windows

Produced during runtime

Name	Size
windows-installer Expired	131 MB