diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 6e6bbcdb28..e5c0a07b7a 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -32,7 +32,7 @@ jobs: docker_vanilla: needs: docker_env # Only run if "Build Firedrake" succeeds - if: ${{ inputs.status == 'success' }} + # if: ${{ inputs.status == 'success' }} uses: ./.github/workflows/docker_reuse.yml with: target: firedrake-vanilla @@ -63,7 +63,7 @@ jobs: docker_complex: needs: docker_env # Only run if "Build Firedrake" succeeds - if: ${{ inputs.status == 'success' }} + # if: ${{ inputs.status == 'success' }} uses: ./.github/workflows/docker_reuse.yml with: target: firedrake-complex