try GAP 4.13

oscar-system · May 22, 2024 · 81bbb1c · 81bbb1c
1 parent 6e8287e
commit 81bbb1c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: |