From a074bae345cc8c4b83b1aafe6be9c4603edeadc2 Mon Sep 17 00:00:00 2001
From: 0o-de-lally <1364012+0o-de-lally@users.noreply.github.com>
Date: Thu, 5 Oct 2023 13:14:25 -0400
Subject: [PATCH] patch install

---
 .github/workflows/formal.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/formal.yaml b/.github/workflows/formal.yaml
index 0b87c0e07..f7610c8d1 100644
--- 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)