Remove old gap versions from CI jobs

gap-packages · Aug 26, 2024 · bd46405 · bd46405
1 parent 58efa3d
commit bd46405
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -27,10 +27,7 @@ jobs:
           - master
           - stable-4.13
           - stable-4.12
-          - stable-4.11
-          - stable-4.10
-          - stable-4.9
-        ABI: ['']
+        ABI: [""]
         include:
           - gap-branch: master
             ABI: 32
@@ -64,8 +61,8 @@ jobs:
           GAP_PKGS_TO_BUILD: "io profiling orb"
       - uses: gap-actions/build-pkg-docs@v1
         with:
-          use-latex: 'true'
-      - name: 'Upload documentation'
+          use-latex: "true"
+      - name: "Upload documentation"
         uses: actions/upload-artifact@v4
         with:
           name: manual