From 81bbb1c4d6f18002dbe3960c49e736ce465153d0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Wed, 22 May 2024 17:19:20 +0200
Subject: [PATCH] try GAP 4.13

---
 .github/workflows/gap.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/gap.yml b/.github/workflows/gap.yml
index 5a320da2c..e6b929202 100644
--- a/.github/workflows/gap.yml
+++ b/.github/workflows/gap.yml
@@ -56,7 +56,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: 'gap-system/gap'
-          ref: 'master'
+          ref: 'v4.13.0'
           path: 'GAPROOT'
       - name: "Build GAP"
         run: |