Skip to content
GitHub macOS 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 33m 45s
Artifacts –

ci-macos.yml

on: push
macOS
33m 31s
macOS
Fit to window
Zoom out
Zoom in