From dccc78a5103ab4f2cdf7e1e461ea838ea302c9af Mon Sep 17 00:00:00 2001
From: "J.Stark" <rho.ajax@gmail.com>
Date: Wed, 6 Mar 2024 20:34:01 +0100
Subject: [PATCH] fixing...

---
 .github/workflows/main.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index f0795f2bf..160692f88 100644
--- 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: |