Skip to content
menhir

Explicitly pin to menhir 20231231 #22

Sign in to view logs

Explicitly pin to menhir 20231231

Explicitly pin to menhir 20231231 #22

Triggered via push October 22, 2024 16:44
@ncik-robertsncik-roberts
pushed ebe032c
require-menhir-20231231
Status Success
Total duration 16s
Artifacts –

menhir.yml

on: push
Check Menhir version
8s
Check Menhir version
Fit to window
Zoom out
Zoom in