[ ci ] Only ask Stack to install Agda if it has not been installed

banacorn · Nov 20, 2024 · 86e65d6 · 86e65d6
1 parent 10df67f
commit 86e65d6
Showing 1 changed file with 21 additions and 3 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -82,7 +82,25 @@ jobs:
       - name: 🛠️ Add Stack install directory to PATH
         run: echo $STACK_LOCAL_BIN >> $GITHUB_PATH
 
-      - name: ⏬ Install Agda
+      - name: 🔍 Check if Agda has been installed
+        id: check-agda
+        continue-on-error: true
+        run: |
+          stack exec ${{ matrix.agda }} -- --version
+
+      - name: 🔍 Display if Agda has been installed
+        run: |
+          echo $?
+          echo "AGDA_INSTALLED    = $AGDA_INSTALLED"
+          echo "AGDA_INSTALLED    = $?"
+          echo "AGDA_INSTALLED=$?" >> "$GITHUB_ENV"
+
+      - name: ✅ Verify Agda is ready
+        if: env.AGDA_INSTALLED == '0'
+        run: echo "Agda already installed, skipping installation"
+
+      - name: ⏬ Install Agda because it has not been installed
+        if: env.AGDA_INSTALLED != '0'
         run: |
           stack install --resolver=lts-20.26 ${{ matrix.agda }}
           which agda
@@ -91,14 +109,14 @@ jobs:
       # things to be cached
 
       - name: 💾 Cache stack global package db
-        if:   always() && steps.stack-global.outputs.cache-hit != 'true'
+        if:   always() && env.AGDA_INSTALLED != '0' && steps.stack-global.outputs.cache-hit != 'true'
         uses: actions/cache/save@v4
         with:
           path: ${{ steps.haskell-setup.outputs.stack-root }}
           key: ${{ steps.stack-global.outputs.cache-primary-key }}
 
       - name: 💾 Cache stack-installed binaries
-        if:   always() && steps.stack-binaries.outputs.cache-hit != 'true'
+        if:   always() && env.AGDA_INSTALLED != '0' && steps.stack-binaries.outputs.cache-hit != 'true'
         uses: actions/cache/save@v4
         with:
           path: ${{ env.STACK_LOCAL_BIN }}