From 42d88289e131b28e3cbc3f55bc722e2eac5aa0a6 Mon Sep 17 00:00:00 2001
From: "James D. Mitchell" <jdm3@st-andrews.ac.uk>
Date: Fri, 3 May 2024 12:08:24 +0100
Subject: [PATCH 1/2] Update for gaplint 1.2.0

---
 gap/digraph.gi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gap/digraph.gi b/gap/digraph.gi
index de263fddf..df6ce9051 100644
--- a/gap/digraph.gi
+++ b/gap/digraph.gi
@@ -1635,7 +1635,7 @@ end);
 InstallMethod(RandomDigraphCons,
 "for IsStronglyConnectedDigraph, a positive integer, and a float",
 [IsStronglyConnectedDigraph, IsPosInt, IsFloat],
-function(filt, n, p)
+function(_, n, p)
   local d, adjMatrix, stronglyConnectedComponents,
   scc_a, scc_b, i, random_u, random_v;
 

From faee5cc1af817ced1a4c23ea6b902972420bbcd0 Mon Sep 17 00:00:00 2001
From: "James D. Mitchell" <jdm3@st-andrews.ac.uk>
Date: Wed, 8 May 2024 16:01:51 +0100
Subject: [PATCH 2/2] Checkout .github/workflows/gap.yml from main

---
 .github/workflows/gap.yml | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/gap.yml b/.github/workflows/gap.yml
index 12c27b2b5..4e1bc5913 100644
--- a/.github/workflows/gap.yml
+++ b/.github/workflows/gap.yml
@@ -26,16 +26,16 @@ jobs:
           - master
           - stable-4.11
           - stable-4.12
+          - stable-4.13
         pkgs-to-clone:
           - NautyTracesInterface
         ABI: ['']
 
         include:
           - gap-branch: stable-4.10
-            pkgs-to-clone: datastructures
             os: ubuntu
           - gap-branch: master
-            pkgs-to-clone: "datastructures NautyTracesInterface"
+            pkgs-to-clone: "NautyTracesInterface"
             os: macos
           - gap-branch: master
             os: ubuntu
@@ -61,6 +61,16 @@ jobs:
         run: |
           curl --retry 5 -L -O "https://digraphs.github.io/Digraphs/${{ env.DIGRAPHS_LIB }}.tar.gz"
           tar xf "${{ env.DIGRAPHS_LIB }}.tar.gz"
+      - name: "Clone datastructures v0.3.0"
+        if: ${{ matrix.gap-branch == 'stable-4.10' }}
+        run: |
+            rm -rf $HOME/gap/pkg/datastructures
+            cd $HOME/gap/pkg/
+            git clone https://github.com/gap-packages/datastructures.git datastructures
+            cd datastructures
+            git checkout v0.3.0
+            ./configure
+            make
       - name: "Run DigraphsTestInstall"
         uses: gap-actions/run-pkg-tests@v2
         with: