diff --git a/.github/workflows/formal.yaml b/.github/workflows/formal.yaml
index 5b4feb44c..97d46593a 100644
--- a/.github/workflows/formal.yaml
+++ b/.github/workflows/formal.yaml
@@ -17,12 +17,21 @@ jobs:
   formal:
     runs-on: ubuntu-latest
     steps:
+        # NOTE: for debugging CI this allow shell access to github runner. Will print out tmate.io terminal url
+      - name: Setup tmate session
+        uses: mxschmitt/action-tmate@v3
+        with:
+          detached: true
+        timeout-minutes: 15
+
       - uses: actions/checkout@v3
       - name: setup env
         uses: ./.github/actions/build_env
 
       - name: install prover dependencies
-        run: ./scripts/dev_setup.sh -ypb
+        run: >
+          wget https://raw.githubusercontent.com/0LNetworkCommunity/diem/release/scripts/dev_setup.sh
+          . dev_setup.sh -ypb
 
       - name: install diem (for move tests)
         run: >