try 16 to fix CI

Author: moste00

.github/workflows/end2end-smoke-test.yml

@@ -39,17 +39,9 @@ jobs:
                 sudo apt-get install z3
                 opam install . --deps-only
                 #DEBUGGING 
-                echo "PATH: OCAML: $OPAM_SWITCH_PREFIX"
                 eval $(opam config env)
-                echo "PATH: OCAML: $OPAM_SWITCH_PREFIX"
-                echo "-------------------------------------"
-                find ~/.opam/ -type f -name vector.sail
-                
-                echo "==============================================="
-
-                find ~/.opam/ -type f -name vector.sail | grep share
-                echo "-------------------------------------"
-
+                echo "PATH: OCAML: $OPAM_SWITCH_PREFIX" 
+                ls -R $OPAM_SWITCH_PREFIX
             - name: Running the generator
               run: |
                 cd generator && source ~/.bash_profile