fix ci issue

TianlongLiang · Mar 15, 2024 · ab527f6 · ab527f6
1 parent 0849732
commit ab527f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/compilation_on_android_ubuntu.yml b/.github/workflows/compilation_on_android_ubuntu.yml
@@ -564,7 +564,7 @@ jobs:
 
       - name: Set-up Ocamlbuild
         if: matrix.test_option == '$GC_TEST_OPTIONS' || matrix.test_option == '$MEMORY64_TEST_OPTIONS'
-        run: opam install ocamlbuild dune
+        run: opam install ocamlbuild dune menhir
 
       - name: download and install wasi-sdk
         if: matrix.test_option == '$WASI_TEST_OPTIONS'