From fb2d66fcc5d422e98161f91bc74ca2d0ea444fed Mon Sep 17 00:00:00 2001 From: Luca Fiorito Date: Thu, 6 Jul 2023 17:45:10 +0200 Subject: [PATCH] Update deploy_api_docs.yml --- .github/workflows/deploy_api_docs.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/deploy_api_docs.yml b/.github/workflows/deploy_api_docs.yml index 05a1cfbf..78e9f739 100644 --- a/.github/workflows/deploy_api_docs.yml +++ b/.github/workflows/deploy_api_docs.yml @@ -9,6 +9,8 @@ jobs: deployment: runs-on: ubuntu-latest steps: + - name: Checkout Repo + uses: actions/checkout@v2 - name: make docs run: bash make_docs.sh html - name: Pushes to another repository