adding CI 29

rizinorg · Aug 24, 2024 · 1c46160 · 1c46160
1 parent 86d8ea7
commit 1c46160
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/end2end-smoke-test.yml b/.github/workflows/end2end-smoke-test.yml
@@ -19,7 +19,10 @@ jobs:
               run: |
                 source ~/.bash_profile
                 export OPAMCONFIRMLEVEL=yes
+                export OCAMLRUNPARAM=b
+
                 opam install . --deps-only
                 opam install sail=0.17.1
+                
                 rm *.gen.inc
                 dune exec --profile release -- riscv_disasm_from_sail -f bin/sail.filepaths.txt