CI: Use pushd/popd when installing GEOS (#405)

pygeos · Oct 12, 2021 · 64af221 · 64af221
1 parent 96f96fb
commit 64af221
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/test-pip.yml b/.github/workflows/test-pip.yml
@@ -99,8 +99,7 @@ jobs:
 
       - name: Install GEOS
         run: |
-          ./ci/install_geos.sh
-          cd '${{ github.workspace }}'
+          bash ci/install_geos.sh
 
       - name: Install python dependencies
         run: |

diff --git a/ci/install_geos.sh b/ci/install_geos.sh
@@ -5,6 +5,7 @@
 # This script requires environment variables to be set
 #  - export GEOS_INSTALL=/path/to/cached/prefix -- to build or use as cache
 #  - export GEOS_VERSION=3.7.3 or main -- to download and compile
+pushd .
 
 set -e
 
@@ -61,3 +62,5 @@ else
         build_geos
     fi
 fi
+
+popd