ci: simplify workspace tests

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

Hide file tree

Showing 2 changed files with 7 additions and 22 deletions.
diff --git a/.github/workflows/workspaces.yml b/.github/workflows/workspaces.yml
@@ -16,9 +16,14 @@ on:
 
 jobs:
   workspaces:
-      name: "GAP 4.12.2 / ubuntu / 64"
+      name: "GAP 4.12.2 / ubuntu / 64-bit"
       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