From 7ecbd8e0d541fb5b7cecbe9d7c87327c9ddf8757 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Mon, 23 Mar 2026 13:57:50 +0100 Subject: [PATCH] DO NOT MERGE: experiment with setup-gap fix --- .github/workflows/standard.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/standard.yml b/.github/workflows/standard.yml index f8a1ac370..81da132db 100644 --- a/.github/workflows/standard.yml +++ b/.github/workflows/standard.yml @@ -58,7 +58,7 @@ jobs: override_cache_key: ${{ runner.os }}-${{ matrix.gap-version }}-64-${{ github.ref }} override_cache_key_fallback: ${{ runner.os }}-${{ matrix.gap-version }}-64 - name: "Install GAP" - uses: gap-actions/setup-gap@v3 + uses: gap-actions/setup-gap@b96703cda2ad006f358fce3c3451b534ec1054db with: gap-version: ${{ matrix.gap-version }} - name: "Install necessary GAP package clones"