adding CI 35

rizinorg · Aug 30, 2024 · 973b280 · 973b280
1 parent 46e09d7
commit 973b280
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/end2end-smoke-test.yml b/.github/workflows/end2end-smoke-test.yml
@@ -31,14 +31,14 @@ jobs:
 
             - name: Running the generator
               run: |
-                ls -R
                 cd generator
                 source ~/.bash_profile
                 export OPAMCONFIRMLEVEL=yes
                 export OCAMLRUNPARAM=b
 
                 opam install . --deps-only
                 opam install sail=0.17.1
+                sudo apt-get install z3
                 
                 mv riscv_ast.gen.inc old_riscv_ast.gen.inc
                 mv riscv_decode.gen.inc old_riscv_decode.gen.inc