menhir

Move `ocaml/` into `/` (a/k/a pivot_root) #10

Sign in to view logs

Triggered via pull request October 22, 2024 11:38

lukemaurer

synchronize #3166

lukemaurer:pivot-root

Status Success

Total duration 17s

Artifacts –

menhir.yml

on: pull_request

Check Menhir version