ci: simplify workspace tests

semigroups · Oct 7, 2023 · c0fe146 · c0fe146
1 parent 77d4051
commit c0fe146
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 21 deletions.
diff --git a/.github/workflows/workspaces.yml b/.github/workflows/workspaces.yml
@@ -18,7 +18,11 @@ jobs:
   workspaces:
       name: "GAP 4.12.2 / ubuntu / 64"
       runs-on: ubuntu-latest
+      container:
+          image: jamesdbmitchell/gap-docker-minimal:version-4.12.2
+          options: --user root
+          volumes: ${{ GITHUB_WORKSPACE }}:/home/gap/inst/gap-4.12.2/pkg
       steps:
           - uses: actions/checkout@v3
           - name: "Run Semigroups packages' workspace tests"
-            run: ci/launch-gap-docker-container.sh
+            run: ci/run-tests-gap-tests-in-docker-container.sh
diff --git a/ci/launch-gap-docker-container.sh b/ci/launch-gap-docker-container.sh