From dc809b52a019ca7052c7eabaeff1c23b528e5f35 Mon Sep 17 00:00:00 2001 From: David Hoeller Date: Fri, 18 Oct 2024 10:51:10 +0200 Subject: [PATCH] Update .github/workflows/docs.yaml Signed-off-by: David Hoeller --- .github/workflows/docs.yaml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index af736585a9..92f854ac96 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -26,8 +26,7 @@ jobs: - name: Check branch docs building if: ${{ github.event_name == 'pull_request' }} working-directory: ./docs - run: | - make current-docs + run: make current-docs - name: Generate multi-version docs working-directory: ./docs