From: Luca Heltai <luca.heltai@sissa.it>
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 }}