Try and fix Menhir tests

.github/workflows/build.yml

@@ -59,6 +59,10 @@ jobs:
     # Run opam udpate to get an up-to-date repo
     - name: Update opam repo
       run: opam update
+    # Pin a specific version of menhir to ensure stability for
+    # .messages ordering and state numbering
+    - name: Install menhir
+      run: opam pin add menhir 20260209
     # Install ocaml deps
     - name: Install Ocaml deps
       run: opam install . --deps-only --with-test --with-doc

HACKING.md

@@ -4,6 +4,17 @@ This file is incomplete, but may have interesting tips if you want to start
 hacking on dolmen. If you're having troubles, don't hesitate to contact me
 directly, ^^
 
+## Menhir version
+
+Some tests may depend on specifi versions of menhir. Notably the syntax error
+messages files can have slight changes between menhir versions (harmless changes,
+but they still induce a diff on the .messages files). Therefore to ensure that all
+tests succeed, users are encouraged to use the following version of menhir:
+
+```
+opam install menhir.20260209
+```
+
 ## Build locally
 
 You need to have [ocaml](https://ocaml.org/) installed to compile dolmen.

Makefile

@@ -21,10 +21,10 @@ gentests: tools/gentests.ml $(filter-out $(wildcard tests/**/*.t/**/*),$(wildcar
 	dune exec -- tools/gentests.exe tests/
 
 test: gentests
-	dune build $(FLAGS) @runtest
+	dune build $(FLAGS) @runtest @messages
 
 promote: gentests
-	-dune build $(FLAGS) @runtest
+	-dune build $(FLAGS) @runtest @messages
 	dune promote $(FLAGS)
 
 coverage:

dolmen.opam

@@ -11,7 +11,7 @@ build: [
 depends: [
   # note: macos/arm64 -> ocaml >= 4.10
   "ocaml" { >= "4.08.1"}
-  "menhir" {>= "20211230" & < "20260112"}
+  "menhir" {>= "20211230"}
   "dune" { >= "3.0" }
   "dune-site" { >= "3.0" }
   "fmt" { >= "0.8.7" }