Skip to content
Windows CI

Change version of menhir to $(date) #82

Sign in to view logs

Change version of menhir to $(date)

Change version of menhir to $(date) #82

Triggered via push November 11, 2023 15:38
@VilletaneuseVilletaneuse
pushed 56415ce
basic_overlay-menhir
Status Success
Total duration 56m 37s
Artifacts 1

ci-windows.yml

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

Artifacts

Produced during runtime
Name Size
windows-installer Expired
132 MB