menhir

Revert utils/load_path.ml{,i} to our side (#275) #1146

Sign in to view logs

Triggered via push July 12, 2024 15:01

mshinwell

merge-5.2

Status Success

Total duration 13s

Artifacts –

menhir.yml

on: push

Check Menhir version