Skip to content

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

Change Menhir branch target in ci-basic_overlay.sh

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

Triggered via push October 20, 2023 14:20
Status Success
Total duration 1h 25m 32s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci-windows.yml

on: push
Matrix: Windows
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
windows-installer Expired
131 MB