More pivot root tidyups #18
ncik-robertsmenhir.yml
on: pull_request
Check Menhir version
11s
Annotations
1 error
|
Check Menhir version
Process completed with exit code 2.
|