]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Spaces. 17173/head
authorLuca Heltai <luca.heltai@sissa.it>
Tue, 25 Jun 2024 14:28:43 +0000 (16:28 +0200)
committerLuca Heltai <luca.heltai@sissa.it>
Tue, 25 Jun 2024 14:28:43 +0000 (16:28 +0200)
.github/workflows/docker.yml

index e3e676eea38b51dd752e70074c0571a2ea14c975..1faed05876ce76694ff4f305f0941c0916090722 100644 (file)
@@ -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 }}

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.