From f54961de10374fe5dacb194088c143424135f7a2 Mon Sep 17 00:00:00 2001 From: Connor Ward Date: Tue, 10 Dec 2024 12:03:28 +0000 Subject: [PATCH] Build all of the containers --- .github/workflows/docker.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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