From 7d384a332acfeeed332778bd6f28e10df036b685 Mon Sep 17 00:00:00 2001 From: Omar Ashour Date: Thu, 2 May 2024 17:08:53 -0700 Subject: [PATCH] Fix missing pipe --- .github/workflows/release_docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/release_docs.yml b/.github/workflows/release_docs.yml index d59396d..ad2112c 100644 --- 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