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

AbsInt · Jul 24, 2024 · a15470e · a15470e
1 parent 179d2a1
commit a15470e
Showing 1 changed file with 1 addition and 1 deletion.
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