adding CI 30

rizinorg · Aug 24, 2024 · 6b793c5 · 6b793c5
1 parent 1c46160
commit 6b793c5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/end2end-smoke-test.yml b/.github/workflows/end2end-smoke-test.yml
@@ -23,6 +23,7 @@ jobs:
 
                 opam install . --deps-only
                 opam install sail=0.17.1
-                
+                ll ~/.opam/default/share/sail
+                ll ~/.opam/default/share/sail/lib
                 rm *.gen.inc
                 dune exec --profile release -- riscv_disasm_from_sail -f bin/sail.filepaths.txt