update formal yaml

0LNetworkCommunity · Nov 9, 2023 · 4b4c205 · 4b4c205
1 parent e17ade6
commit 4b4c205
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/.github/workflows/formal.yaml b/.github/workflows/formal.yaml
@@ -1,7 +1,9 @@
 name: formal verification
 on:
   push:
-    branches: ["ci*"]
+    branches:
+      - "ci*"
+      - "formal"
   #   tags:
   #   - '[0-9]+.[0-9]+.[0-9]+'
   #   - '[0-9]+.[0-9]+.[0-9]+-rc.[0-9]+'
@@ -33,10 +35,7 @@ jobs:
 
       - name: install prover dependencies
         run: >
-            cd .. &&
-            git clone https://github.com/0LNetworkCommunity/diem.git &&
-            cd diem &&
-            ./scripts/dev_setup.sh -ypb
+            bash util/dev_setup.sh -by
 
       - name: install diem (for move tests)
         run: >