From 8ca15fa14b85e67115f750b34e3b705da1de864a Mon Sep 17 00:00:00 2001
From: Nils Husung <husung@cs.uni-saarland.de>
Date: Sun, 26 May 2024 14:33:19 +0200
Subject: [PATCH] Fix CI

---
 .github/workflows/python.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/python.yml b/.github/workflows/python.yml
index fb5f533..a815906 100644
--- a/.github/workflows/python.yml
+++ b/.github/workflows/python.yml
@@ -54,6 +54,7 @@ jobs:
     - name: Deploy Docs
       if: ${{ github.ref == 'refs/heads/main' }}
       working-directory: target/python/doc
+      run: |
         mkdir -p ~/.ssh
         echo "$KNOWN_HOSTS" >> ~/.ssh/known_hosts
         remote_cmd="mkdir '$PATH'.new && tar -xzC '$PATH'.new && mv '$PATH'{,.old} && mv '$PATH'{.new,} && rm -rf '$PATH'.old"