menhir

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

Sign in to view logs

Triggered via pull request October 22, 2024 10:44

lukemaurer

synchronize #3166

lukemaurer:pivot-root

Status Success

Total duration 15s

Artifacts –

menhir.yml

on: pull_request

Check Menhir version