ci: Add composite actions

Author: JDBetteridge

.github/actions/docker-build.yaml

@@ -0,0 +1,51 @@
+name: Docker build action
+description: Composite action for building Devito Docker containers
+author: "Devito"
+
+inputs:
+# The only supported GHA input type is string
+  file:
+    description: "Dockerfile containing build instructions"
+    required: true
+    default: Dockerfile
+  tag:
+    description: "Tag to add to the built image"
+    required: true
+  base:
+    description: "Base docker image to build on top of"
+    required: true
+
+outputs:
+  unique:
+    description: "Unique identifier for the CI run"
+    value: ${{ steps.uniquetag.unique }}
+
+runs:
+  using: "composite"
+  steps:
+    - id: uniquetag
+      name: "Generate unique CI tag"
+      run: |
+        UNIQUE=$(echo "${GITHUB_RUN_ID}_${GITHUB_RUN_ATTEMPT}" | cksum | cut -f 1 -d " ")
+        echo "Unique ID: ${UNIQUE}"
+        echo "unique=${UNIQUE}" >> "$GITHUB_OUTPUT"
+
+    - id: dockerbuild
+      name: "Build docker container"
+      run: >
+        docker build
+          --pull
+          --file ${{ inputs.file }}
+          --tag ${{ inputs.tag }}${{ steps.uniquetag.unique }}
+          --build-arg base=${{ inputs.base }}
+          .
+
+# Do we need to be more specific?
+#~ docker buildx build . \
+  #~ --builder "${RUNNER_NAME// /_}" \
+  #~ --load \
+  #~ --label ci-run="$GITHUB_RUN_ID" \
+  #~ --rm --pull \
+  #~ --file docker/Dockerfile.devito \
+  #~ --tag "${DOCKER_IMAGE}" \
+  #~ --build-arg base="${{ matrix.base }}"

.github/actions/docker-clean.yaml

@@ -0,0 +1,20 @@
+name: Docker run action
+description: Reusable workflow for running commands in Docker containers
+author: "Devito"
+
+inputs:
+# The only supported GHA input type is string
+  id:
+    description: "Unique identifier output from docker-build action"
+    required: true
+  tag:
+    description: "Tag of the built image to use"
+    required: true
+
+runs:
+  using: "composite"
+  steps:
+    - id: dockerclean
+      name: "Cleanup docker image"
+      run: |
+          docker image rm -f "${{ inputs.tag }}${{ inputs.id }}"

.github/actions/docker-run.yaml

@@ -0,0 +1,57 @@
+name: Docker run action
+description: Reusable workflow for running commands in Docker containers
+author: "Devito"
+
+inputs:
+# The only supported GHA input type is string
+  id:
+    description: "Unique identifier output from docker-build action"
+    required: true
+  args:
+    description: "Arguments to pass to `docker run`"
+    required: true
+    default: Dockerfile
+  env:
+    description: "Environment variables to set inside the docker container"
+    required: true
+    default: Dockerfile
+  tag:
+    description: "Tag of the built image to use"
+    required: true
+  command:
+    description: "Command to execute inside of the docker container"
+    required: true
+
+outputs:
+  unique:
+    description: "Unique identifier for the CI run"
+    value: ${{ steps.uniquetag.unique }}
+
+runs:
+  using: "composite"
+  steps:
+    - id: processenv
+      name: Process environment variable list
+      env:
+        ENV_INPUT: ${{ inputs.env }}
+      run: |
+        ENV_STRING=""
+        # Read line by line with here string, safely handling spaces within the values
+        while IFS= read -r LINE; do
+          if [[ -n "$line" ]]; then
+            ENV_STRING="$ENV_STRING --env $LINE"
+          fi
+        done <<< "$ENV_INPUT"
+        # Remove the leading space from the first concatenation
+        ENV_STRING="${ENV_STRING# }"
+        echo "env=$ENV_STRING" >> "$GITHUB_OUTPUT
+
+    - id: dockerrun
+      name: "Run command ${{ input.command }} in ${{ input.tag }} docker container"
+      run: >
+        docker run
+          --init -t --rm
+          --name "${{ input.name }}${{ input.id }}"
+          ${{ steps.processenv.outputs.env }}
+          "${{ input.tag }}${{ input.id }}"
+          ${{ input.command }}