Merge pull request #70 from gap-packages/mh/ci

Update CI
gap-packages · Jan 23, 2024 · 23c35c3 · 23c35c3
2 parents c5ec404 + 908d37d
commit 23c35c3
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -26,6 +26,7 @@ jobs:
         gap-branch:
           - master
           - stable-4.12
+          - stable-4.11
 
     steps:
       - uses: actions/checkout@v3
@@ -56,3 +57,4 @@ jobs:
         with:
           name: manual
           path: ./doc/manual.pdf
+          if-no-files-found: error