From a58bd4f6cb70fe5465af37ca8b22ef2d14844e1b Mon Sep 17 00:00:00 2001 From: Wilf Wilson Date: Sat, 20 Sep 2025 18:21:43 +0100 Subject: [PATCH] CI: clone digraphs-lib rather than download a tarball --- .github/workflows/os.yml | 7 +------ .github/workflows/ubuntu.yml | 7 +------ 2 files changed, 2 insertions(+), 12 deletions(-) diff --git a/.github/workflows/os.yml b/.github/workflows/os.yml index a27e0cafb..8aa329efc 100644 --- a/.github/workflows/os.yml +++ b/.github/workflows/os.yml @@ -10,9 +10,6 @@ on: # Every day at 3:30 AM UTC - cron: 30 3 * * * -env: - DIGRAPHS_LIB: digraphs-lib-0.7 - concurrency: # Group by workflow and ref; the last component ensures that for pull requests # we limit to one concurrent job, but for the main/stable branches we don't @@ -91,9 +88,7 @@ jobs: with: ABI: ${{ matrix.ABI }} - name: Install digraphs-lib . . . - run: | - curl --retry 5 -L -O "https://digraphs.github.io/Digraphs/${{ env.DIGRAPHS_LIB }}.tar.gz" - tar xf "${{ env.DIGRAPHS_LIB }}.tar.gz" + run: git clone https://github.com/digraphs/digraphs-lib.git - name: Run DigraphsTestInstall . . . uses: gap-actions/run-pkg-tests@v4 with: diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml index c7300dcef..c8103e3b6 100644 --- a/.github/workflows/ubuntu.yml +++ b/.github/workflows/ubuntu.yml @@ -10,9 +10,6 @@ on: # Every day at 3:30 AM UTC - cron: 30 3 * * * -env: - DIGRAPHS_LIB: digraphs-lib-0.7 - concurrency: # Group by workflow and ref; the last component ensures that for pull requests # we limit to one concurrent job, but for the main/stable branches we don't @@ -68,9 +65,7 @@ jobs: - name: Build Digraphs . . . uses: gap-actions/build-pkg@v2 - name: Install digraphs-lib . . . - run: | - curl --retry 5 -L -O "https://digraphs.github.io/Digraphs/${{ env.DIGRAPHS_LIB }}.tar.gz" - tar xf "${{ env.DIGRAPHS_LIB }}.tar.gz" + run: git clone https://github.com/digraphs/digraphs-lib.git - name: Run DigraphsTestInstall . . . uses: gap-actions/run-pkg-tests@v4 with: