Test Firedrake release

.github/workflows/docker.yml

@@ -4,13 +4,7 @@ on:
   workflow_call:
     inputs:
       tag:
-        description: 'Optional tag (defaults to `latest`)'
-        required: false
-        default: 'latest'
-        type: string
-      status:
-        description: 'Firedrake test status'
-        required: true
+        description: Docker image tag
         type: string
     secrets:
       # Docker login information
@@ -22,8 +16,6 @@ on:
 jobs:
   # Firedrake container (just Firedrake)
   docker_build_vanilla:
-    # Only run if Firedrake tests pass
-    if: inputs.status == 'success'
     strategy:
       fail-fast: false
       matrix:
@@ -58,8 +50,6 @@ jobs:
 
   # # Firedrake container (Firedrake and friends)
   docker_build_firedrake:
-    # Only run if "Build Firedrake" succeeds
-    if: inputs.status == 'success'
     needs: docker_merge_vanilla
     uses: ./.github/workflows/docker_build.yml
     # Only build the 'firedrake' container for 'linux/amd64' because
@@ -84,8 +74,6 @@ jobs:
 
   # # Firedrake container with TeX
   docker_build_docdeps:
-    # Only run if "Build Firedrake" succeeds
-    if: inputs.status == 'success'
     needs: docker_merge_vanilla
     uses: ./.github/workflows/docker_build.yml
     with:
@@ -106,8 +94,6 @@ jobs:
 
   # # Firedrake container with Jupyter notebooks
   docker_build_jupyter:
-    # Only run if "Build Firedrake" succeeds
-    if: inputs.status == 'success'
     needs: docker_merge_firedrake
     uses: ./.github/workflows/docker_build.yml
     with:

.github/workflows/docker_merge.yml

@@ -7,13 +7,12 @@ on:
   workflow_call:
     inputs:
       target:
-        description: 'Target docker image name to upload to'
+        description: Docker image name
         required: true
         type: string
       tag:
-        description: 'Optional tag (defaults to `latest`)'
-        required: false
-        default: 'latest'
+        description: Docker image tag
+        required: true
         type: string
     secrets:
       # Docker login information
@@ -28,8 +27,7 @@ jobs:
     steps:
       - name: Pre-cleanup
         if: always()
-        run: |
-          rm -rf ${{ runner.temp }}/digests
+        run: rm -rf ${{ runner.temp }}/digests
 
       - name: Download digests
         uses: actions/download-artifact@v4
@@ -47,16 +45,20 @@ jobs:
       - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v3
 
+      # NOTE: This action pushes a new image with the given tag but also updates
+      # the 'latest' tag.
       - name: Merge and push the per-platform images
         working-directory: ${{ runner.temp }}/digests
         run: |
-          docker buildx imagetools create -t firedrakeproject/${{ inputs.target }}:${{ inputs.tag }} $(printf 'firedrakeproject/${{ inputs.target }}@sha256:%s ' *)
+          docker buildx imagetools create \
+            -t firedrakeproject/${{ inputs.target }}:${{ inputs.tag }} \
+            -t firedrakeproject/${{ inputs.target }}:latest \
+            $(printf 'firedrakeproject/${{ inputs.target }}@sha256:%s ' *)
 
       - name: Inspect image
         run: |
           docker buildx imagetools inspect firedrakeproject/${{ inputs.target }}:${{ inputs.tag }}
 
       - name: Post-cleanup
         if: always()
-        run: |
-          rm -rf ${{ runner.temp }}/digests
+        run: rm -rf ${{ runner.temp }}/digests

.github/workflows/pr.yml

@@ -0,0 +1,13 @@
+name: Test pull request
+
+on:
+  pull_request:
+
+jobs:
+  test:
+    uses: ./.github/workflows/core.yml
+    with:
+      target_branch: ${{ github.base_ref }}
+      # Only run macOS tests if the PR is labelled 'macOS'
+      test_macos: ${{ contains(github.event.pull_request.labels.*.name, 'macOS') }}
+    secrets: inherit

.github/workflows/push.yml

@@ -0,0 +1,16 @@
+name: Deploy after push
+
+on:
+  push:
+    branches:
+      - master
+      - release
+
+jobs:
+  test:
+    uses: ./.github/workflows/core.yml
+    with:
+      target_branch: ${{ github.ref_name }}
+      test_macos: true
+      deploy_website: true
+    secrets: inherit

.github/workflows/release.yml

@@ -0,0 +1,23 @@
+name: Publish release
+
+on:
+  release:
+    types: [published]
+
+jobs:
+  deploy:
+    if: ! startsWith( github.ref_name, 'Zenodo' )
+    uses: ./.github/workflows/core.yml
+    with:
+      target_branch: release
+      run_tests: false
+      upload_pypi: true
+    secrets: inherit
+
+  docker:
+    if: ! startsWith( github.ref_name, 'Zenodo' )
+    name: Build Docker containers
+    uses: ./.github/workflows/docker.yml
+    with:
+      tag: ${{ github.ref }}
+    secrets: inherit