Merge branch 'main' of github.com:JBris/DeepRootGen into main

Author: JBris

.github/workflows/docker-build.yaml

@@ -53,6 +53,8 @@ jobs:
         sudo rm -rf /usr/share/dotnet
         sudo rm -rf "$AGENT_TOOLSDIRECTORY"
         df -h
+    - name: Docker logout
+      run: docker logout
     - uses: actions/checkout@v3
     - name: Set up QEMU
       uses: docker/setup-qemu-action@v3
@@ -67,4 +69,4 @@ jobs:
           username: ${{ github.repository_owner }}
           password: ${{ secrets.GHCR_TOKEN }}
     - name: Docker push
-      run: bash scripts/docker/push.sh app
+      run: bash scripts/docker/push.sh app