From: Luca Heltai <luca.heltai@sissa.it>
Date: Sun, 26 Dec 2021 09:04:47 +0000 (+0100)
Subject: Added endline.
X-Git-Tag: v9.4.0-rc1~711^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=326fde9bcaab014ee5d5dd28fc96ff832bf947ec;p=dealii.git

Added endline.
---

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 1dcd8668da..a915ba26ea 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -37,4 +37,5 @@ jobs:
           cache-from: type=registry,ref=dealii/dealii:master-focal
           cache-to: type=inline
           push: true
-          tags: dealii/dealii:master-focal-root
\ No newline at end of file
+          tags: dealii/dealii:master-focal-root
+