test formal

0o-de-lally · Oct 5, 2023 · e401ff0 · e401ff0
1 parent 819ef46
commit e401ff0
Showing 1 changed file with 10 additions and 1 deletion.
diff --git 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: >