ci: add GAP 4.13

james-d-mitchell · james-d-mitchell · commit 279ebd0db019 · 2024-03-27T17:41:57.000Z
diff --git a/.github/workflows/gap.yml b/.github/workflows/gap.yml
@@ -26,6 +26,7 @@ jobs:
           - master
           - stable-4.11
           - stable-4.12
+          - stable-4.13
         pkgs-to-clone:
           - NautyTracesInterface
         ABI: ['']
