diff --git a/.github/workflows/build-docs.yaml b/.github/workflows/build_docs.yaml similarity index 96% rename from .github/workflows/build-docs.yaml rename to .github/workflows/build_docs.yaml index b82b6b6..7df29fe 100644 --- a/.github/workflows/build-docs.yaml +++ b/.github/workflows/build_docs.yaml @@ -4,7 +4,7 @@ name: Build documentation on: push: - branches: ["master"] + # branches: ["master"] paths: - 'docs/**' # Specify to run a workflow manually from the Actions tab on GitHub @@ -22,7 +22,7 @@ env: jobs: build: runs-on: ubuntu-latest - + steps: - name: Checkout repository uses: actions/checkout@v4 @@ -33,7 +33,7 @@ jobs: instance: ${{ env.INSTANCE }} artifact: ${{ env.ARTIFACT }} location: ${{ env.DOCS_FOLDER }} - + - name: Upload artifact uses: actions/upload-artifact@v3 with: @@ -83,4 +83,4 @@ jobs: - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v4 \ No newline at end of file + uses: actions/deploy-pages@v4