fix: working directory in build

verified-optimization · Feb 6, 2024 · 5b96d36 · 5b96d36
1 parent 4515c5a
commit 5b96d36
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -35,6 +35,7 @@ jobs:
           repository: verified-optimization/CvxLean
           path: CvxLean
       - name: Build egg-pre-dcp and CvxLean
+        working-directory: CvxLean
         run: |
           ./build.sh
       - name: Create dummy docs project