diff --git a/.github/workflows/wip.yml b/.github/workflows/wip.yml
new file mode 100644
index 000000000..4173d7985
--- /dev/null
+++ b/.github/workflows/wip.yml
@@ -0,0 +1,30 @@
+name: Open Issues
+
+on:
+  push:
+    branches: [ master ]
+
+env:
+  BUILD_TYPE: Debug
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v2
+
+    - name: Configure CMake
+      run: cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}}
+
+    - name: Build
+      # Build your program with the given configuration
+      run: cmake --build ${{github.workspace}}/build --target install --config ${{env.BUILD_TYPE}}
+
+    - name: Clone z3test
+      run: git clone https://github.com/z3prover/z3test z3test
+    
+    - name: Run regressions
+      run: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/issues    
+      
+      
diff --git a/src/ast/fpa/fpa2bv_converter.cpp b/src/ast/fpa/fpa2bv_converter.cpp
index a654e6070..243e3b378 100644
--- a/src/ast/fpa/fpa2bv_converter.cpp
+++ b/src/ast/fpa/fpa2bv_converter.cpp
@@ -3815,6 +3815,7 @@ void fpa2bv_converter::mk_rounding_mode(decl_kind k, expr_ref & result)
     }
 
     result = m_util.mk_bv2rm(result);
+    std::cout << "Rounding: " << result << "\n";
 }
 
 void fpa2bv_converter::dbg_decouple(const char * prefix, expr_ref & e) {