menhir

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

Sign in to view logs

Triggered via pull request October 22, 2024 10:30

lukemaurer

synchronize #3166

lukemaurer:pivot-root

Status Success

Total duration 13s

Artifacts –

menhir.yml

on: pull_request

Check Menhir version