menhir

Pivot root tidyups #12

Sign in to view logs

Triggered via pull request October 22, 2024 13:42

mshinwell

opened #3168

mshinwell:pivot-root-tidyups

Status Success

Total duration 17s

Artifacts –

menhir.yml

on: pull_request

Check Menhir version