Merge pull request #646 from james-d-mitchell/main

Merge CI changes from stable-1.7 into main
digraphs · May 9, 2024 · 9ea9163 · 9ea9163
2 parents 36f1743 + f4fda2a
commit 9ea9163
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/gap.yml b/.github/workflows/gap.yml
@@ -62,15 +62,15 @@ jobs:
           curl --retry 5 -L -O "https://digraphs.github.io/Digraphs/${{ env.DIGRAPHS_LIB }}.tar.gz"
           tar xf "${{ env.DIGRAPHS_LIB }}.tar.gz"
       - name: "Clone datastructures v0.3.0"
+        if: ${{ matrix.gap-branch == 'stable-4.10' }}
         run: |
-          if [ ! -d $HOME/gap/pkg/datastructures ]; then
+            rm -rf $HOME/gap/pkg/datastructures
             cd $HOME/gap/pkg/
             git clone https://github.com/gap-packages/datastructures.git datastructures
             cd datastructures
             git checkout v0.3.0
             ./configure
             make
-          fi
       - name: "Run DigraphsTestInstall"
         uses: gap-actions/run-pkg-tests@v2
         with: