Windows CI

Change version of menhir to $(date) #83

Triggered via push November 12, 2023 10:38

basic_overlay-menhir

Status Success

Total duration 1h 27m 11s

Artifacts 1

ci-windows.yml

on: push

Matrix: Windows

Produced during runtime

Name	Size
windows-installer Expired	132 MB