"oldest" CI test: use the oldest supported Menhir version

AbsInt · Jul 24, 2024 · e9f4e15 · e9f4e15
1 parent 179d2a1
commit e9f4e15
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/oldest.yml b/.github/workflows/oldest.yml
@@ -27,7 +27,7 @@ jobs:
         with:
           submodules: true
       - name: OPAM dependencies
-        run: tools/runner.sh opam_install menhir
+        run: tools/runner.sh opam_install menhir=20200624
       - name: Configure
         run: tools/runner.sh configure
       - name: Build

diff --git a/test b/test
+5 −0		export/.gitignore
+3 −1		export/Makefile
+2 −0		regression/Results/alias
+31 −1		regression/alias.c