From: Luca Heltai Date: Tue, 25 Jun 2024 14:28:43 +0000 (+0200) Subject: Spaces. X-Git-Tag: v9.6.0-rc1~158^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F17173%2Fhead;p=dealii.git Spaces. --- diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index e3e676eea3..1faed05876 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -93,6 +93,7 @@ jobs: path: /tmp/digests/* if-no-files-found: error retention-days: 1 + merge: runs-on: ubuntu-latest needs: @@ -136,4 +137,4 @@ jobs: - name: Inspect image run: | - docker buildx imagetools inspect ${{ env.REGISTRY_IMAGE }}:${{ steps.meta.outputs.version }} \ No newline at end of file + docker buildx imagetools inspect ${{ env.REGISTRY_IMAGE }}:${{ steps.meta.outputs.version }}