HACK HACK HACK do not merge

oscar-system · Dec 9, 2024 · b09e19f · b09e19f
1 parent 967f37a
commit b09e19f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -74,14 +74,14 @@ jobs:
       - name: "GAP tests"
         run: |
           julia --project=. -e 'import GAP; GAP.create_gap_sh("/tmp")'
-          export GAP="/tmp/gap.sh -A --quitonbreak --norepl"
+          export GAP="/tmp/gap.sh --quitonbreak --norepl"
           etc/ci_test.sh
 
       - name: "Process Julia code coverage"
         uses: julia-actions/julia-processcoverage@v1
       - name: "Process GAP code coverage"
         run: |
-          /tmp/gap.sh -A --quitonbreak --norepl etc/gather_coverage.g
+          /tmp/gap.sh --quitonbreak --norepl etc/gather_coverage.g
           cat gap-lcov.info >> lcov.info
 
       - name: "Upload coverage data to Codecov"
@@ -114,7 +114,7 @@ jobs:
         run: |
           julia --project=. -e 'import GAP; GAP.create_gap_sh("/tmp")'
           cd pkg/JuliaInterface
-          /tmp/gap.sh -A --quitonbreak --norepl makedoc.g
+          /tmp/gap.sh --quitonbreak --norepl makedoc.g
           cd ../..
           mkdir -p docs/src/assets/html/JuliaInterface/
           cp pkg/JuliaInterface/doc/*.{html,css,js} docs/src/assets/html/JuliaInterface/