Fix missing pipe

Griffin-Group · May 3, 2024 · 7d384a3 · 7d384a3
1 parent 02892b4
commit 7d384a3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release_docs.yml b/.github/workflows/release_docs.yml
@@ -26,6 +26,6 @@ jobs:
           git config --global user.name "Docs Deploy"
           git config --global user.email "docs.deploy@example.co.uk"
       - name: Build Docs Website
-        run:
+        run: |
           mike deploy --push --update-aliases ${{ github.event.release.tag_name }} latest
           mike set-default --push latest