From 25f58e4866e57d4c5c3d30cb8e7ded72f648d1c6 Mon Sep 17 00:00:00 2001
From: Dimitri Lozeve <dimitri@lozeve.com>
Date: Sat, 23 Oct 2021 12:46:56 +0200
Subject: [PATCH] Fix gambit build caching

---
 .github/workflows/ci.yml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 507bc08a5..27f0acd78 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -15,7 +15,7 @@ jobs:
         id: cache-gambit
         uses: actions/cache@v2
         with:
-          path: $HOME/gambit
+          path: gambit
           key: ${{ runner.os }}-gambit-${{ matrix.gambit-version }}
       - uses: actions/checkout@v2
         with:
@@ -23,16 +23,16 @@ jobs:
           ref: ${{ matrix.gambit-version }}
           path: 'gambit'
         if: steps.cache-gambit.outputs.cache-hit != 'true'
-      - name: Build and install Gambit
+      - name: Build Gambit
         if: steps.cache-gambit.outputs.cache-hit != 'true'
         run: |
-          pushd gambit
+          cd gambit
           ./configure --prefix=$HOME/gambit --enable-single-host
           make
-          make install
-          popd
-      - name: Setup links to gambit executables
+      - name: Install Gambit
         run: |
+          cd gambit
+          make install
           sudo ln -sf $HOME/gambit/bin/gsi /bin/gsi
           sudo ln -sf $HOME/gambit/bin/gsi-script /bin/gsi-script
           sudo ln -sf $HOME/gambit/bin/gsc /bin/gsc