From e3c6e1c5222fe2cca427acf24688c44987d8f97b Mon Sep 17 00:00:00 2001 From: Greg Lucas Date: Wed, 22 Nov 2023 11:10:02 -0700 Subject: [PATCH] CI: Remove upload portion of the docs build We now have PRs being built in ReadTheDocs, so no need to upload the docs here as well. --- .github/workflows/docs.yml | 29 ----------------------------- 1 file changed, 29 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 3ed64a519..93804326b 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -27,32 +27,3 @@ jobs: # SPHINXOPTS="-W --keep-going" is used to turn warnings into errors # but keep going, so we don't fail on the first one. make -C docs html SPHINXOPTS="-W --keep-going" - - - uses: actions/upload-artifact@v2 - with: - name: DocumentationHTML - path: docs/build/html/ - - # Publish built docs to gh-pages branch - - name: Commit documentation changes - # push docs only when a GitHub Release is made - if: github.event_name == 'release' && github.event.action == 'published' - run: | - git clone https://github.com/IMAP-Science-Operations-Center/imap_processing.git --branch gh-pages --single-branch gh-pages - cp -r docs/build/html/* gh-pages/ - cd gh-pages - git config --local user.email "action@github.com" - git config --local user.name "GitHub Action" - git add . - git commit -m "Update documentation" -a || true - # The above command will fail if no changes were present, so we ignore that. - - - name: Publish docs - # push docs only when a GitHub Release is made - if: github.event_name == 'release' && github.event.action == 'published' - - uses: ad-m/github-push-action@master - with: - branch: gh-pages - directory: gh-pages - github_token: ${{ secrets.GITHUB_TOKEN }}