From 5040cb511697d2ef0b429a739ac145c9850a26c7 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 10 Sep 2025 23:28:49 +0200 Subject: [PATCH] Update CI --- .github/workflows/CI.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 2b62cbc6..8ccd10d6 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -30,7 +30,7 @@ jobs: - stable-4.12 steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 - uses: gap-actions/setup-gap@v2 with: GAP_PKGS_TO_BUILD: "io profiling AttributeScheduler grape datastructures orb digraphs NautyTracesInterface" @@ -38,8 +38,8 @@ jobs: GAPBRANCH: ${{ matrix.gap-branch }} - uses: gap-actions/build-pkg@v1 - uses: gap-actions/build-pkg-docs@v1 - - uses: gap-actions/run-pkg-tests@v2 - - uses: gap-actions/run-pkg-tests@v2 + - uses: gap-actions/run-pkg-tests@v3 + - uses: gap-actions/run-pkg-tests@v3 with: only-needed: true - uses: gap-actions/process-coverage@v2 @@ -55,7 +55,7 @@ jobs: steps: - run: sudo apt-get update - run: sudo apt-get install sed texlive-latex-base texlive-latex-recommended texlive-latex-extra texlive-extra-utils texlive-fonts-recommended texlive-fonts-extra tex4ht - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 - uses: gap-actions/setup-gap@v2 with: GAP_PKGS_TO_BUILD: "io profiling AttributeScheduler grape datastructures orb digraphs NautyTracesInterface"