fixup

Author: connorjward

.github/actions/install/action.yml

@@ -50,26 +50,6 @@ runs:
           brew install $(python3 ./firedrake-repo/scripts/firedrake-configure --arch default --show-system-packages)
         fi
 
-    # TODO: these checks can be a separate workflow
-    - name: Validate single source of truth
-      shell: bash
-      run: ./firedrake-repo/scripts/check-config
-
-    # Check that the Dockerfile is using the latest Ubuntu version.
-    # The version is hardcoded into the Dockerfile so that the OS
-    # for each release is fixed.
-    - name: Check Dockerfile Ubuntu version
-      shell: bash
-      run: |
-        latest_version=$(grep "VERSION_ID=" /etc/os-release | cut -d '"' -f 2)
-        docker_version=$(grep FROM firedrake-repo/docker/Dockerfile.vanilla | cut -d ':' -f 2)
-        echo "Latest version: $latest_version"
-        echo "Docker version: $docker_version"
-        if [[ "$docker_version" != "$latest_version" ]]; then
-          echo "Ubuntu version ${docker_version} in Dockerfile is out of date with latest version ${latest_version}"
-          exit 1
-        fi
-
     - name: Install PETSc
       shell: bash
       run: |

.github/workflows/core.yml

@@ -134,6 +134,27 @@ jobs:
           root_dir: /__w/firedrake/firedrake
           deps: ci
 
+    # TODO: these checks can be a separate workflow
+    - name: Validate single source of truth
+      shell: bash
+      run: ./firedrake-repo/scripts/check-config
+
+    # Check that the Dockerfile is using the latest Ubuntu version.
+    # The version is hardcoded into the Dockerfile so that the OS
+    # for each release is fixed.
+    - name: Check Dockerfile Ubuntu version
+      shell: bash
+      run: |
+        latest_version=$(grep "VERSION_ID=" /etc/os-release | cut -d '"' -f 2)
+        docker_version=$(grep FROM firedrake-repo/docker/Dockerfile.vanilla | cut -d ':' -f 2)
+        echo "Latest version: $latest_version"
+        echo "Docker version: $docker_version"
+        if [[ "$docker_version" != "$latest_version" ]]; then
+          echo "Ubuntu version ${docker_version} in Dockerfile is out of date with latest version ${latest_version}"
+          exit 1
+        fi
+
+
       - name: Upload sdist (default ARCH only)
         if: matrix.arch == 'default'
         uses: actions/upload-artifact@v4