Skip to content
menhir

More pivot root tidyups #17

Sign in to view logs

More pivot root tidyups

More pivot root tidyups #17

Triggered via push October 22, 2024 14:48
@ncik-robertsncik-roberts
pushed 8a4ead5
more-pivot-root-tidyups
Status Failure
Total duration 14s
Artifacts –

menhir.yml

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

Annotations

1 error
Check Menhir version
Process completed with exit code 2.