fixing...

owlbarn · Mar 6, 2024 · dccc78a · dccc78a
1 parent f00f224
commit dccc78a
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -36,7 +36,10 @@ jobs:
         run: opam exec -- dune build @install
 
       - name: Run tests
-        run: opam exec -- dune runtest -j 1 --no-buffer -p owl
+        # installing owl-base is a temp hack due to some unknown error in testing 
+        run: |
+          opam install owl-base 
+          opam exec -- dune runtest -j 1 --no-buffer -p owl
 
       - name: Build doc
         run: |