diff --git a/.github/workflows/oldest.yml b/.github/workflows/oldest.yml index 95b59e0a16..5eb0f8228f 100644 --- 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 index 4a25324208..02fc1f7521 160000 --- a/test +++ b/test @@ -1 +1 @@ -Subproject commit 4a253242086d1ce78365d1b5cac3201193fa3814 +Subproject commit 02fc1f752101db18e8ac0b103a0e1222a7f94702