Windows CI

Change Menhir branch target in ci-basic_overlay.sh #79

Triggered via push October 20, 2023 14:23

basic_overlay-menhir

Status Success

Total duration 1h 29m 52s

Artifacts 1

ci-windows.yml

on: push

Matrix: Windows

Produced during runtime

Name	Size
windows-installer Expired	131 MB