patch install

0o-de-lally · Oct 5, 2023 · a074bae · a074bae
1 parent 690a391
commit a074bae
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/formal.yaml b/.github/workflows/formal.yaml
@@ -31,7 +31,9 @@ jobs:
 
       - name: install prover dependencies
         run: >
+            cd .. &&
             git clone https://github.com/0LNetworkCommunity/diem.git &&
+            cd diem &&
             ./scripts/dev_setup.sh -ypb
 
       - name: install diem (for move tests)