diff --git a/.github/workflows/workspaces.yml b/.github/workflows/workspaces.yml index 84d586ec4..a2cd5146e 100644 --- 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 deleted file mode 100755 index 7c32e9740..000000000 --- a/ci/launch-gap-docker-container.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/bash -# This file is temporarily copied from libsemigroups/ci/ file of the same name. -set -e - -CONTAINER_NAME="jamesdbmitchell/gap-docker-minimal:version-4.12.2" - -# Pull the docker container -docker pull "$CONTAINER_NAME" - -# Start the docker container detached -ID=$(docker run --rm -i -d "$CONTAINER_NAME") - -# Copy the libsemigroups directory into the container -docker cp . "$ID:/home/gap/semigroups" - -# Run the ci/docker-gap.sh script in the running container -docker exec -i "$ID" semigroups/ci/run-gap-tests-in-docker-container.sh ; exit - -# Attach to the container -docker attach "$ID"