From: Timo Heister Date: Mon, 4 Jul 2022 20:34:48 +0000 (-0400) Subject: fix push if master X-Git-Tag: v9.5.0-rc1~1111^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F14094%2Fhead;p=dealii.git fix push if master --- diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 05310fc9cb..749b6f3b04 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -32,7 +32,7 @@ jobs: context: ./contrib/docker/ cache-from: type=registry,ref=dealii/dependencies:focal cache-to: type=inline - push: false + push: ${{github.ref_name == 'master'}} tags: dealii/dealii:master-focal - name: Build and push Docker image of master with root user @@ -42,6 +42,6 @@ jobs: file: ./contrib/docker/Dockerfile.root cache-from: type=registry,ref=dealii/dealii:master-focal cache-to: type=inline - push: false + push: ${{github.ref_name == 'master'}} tags: dealii/dealii:master-focal-root