From 6ae78684ee0e61d8a6ad8bb779ea30f2e5294d0d Mon Sep 17 00:00:00 2001 From: Hassan Abouelela Date: Wed, 26 Oct 2022 13:19:23 +0400 Subject: Use New Static Build Site API (#122) Updates the build the script to use the new API provided by the site to fetch and download artifacts. Additionally, metadata files are deleted in CI. They are only required for speeding up subsequent builds, which is not applicable in CI, and only increases the build size. --- .github/workflows/docs.yaml | 5 +++++ 1 file changed, 5 insertions(+) (limited to '.github') diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 42c9e742..372a2b8f 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -58,6 +58,11 @@ jobs: BUILD_DOCS_FOR_HEAD: ${{ github.event_name == 'pull_request' }} BRANCH_NAME: ${{ github.head_ref }} + - name: Remove Metadata Files + run: | + rm -r docs/build/**/_sources + rm -r docs/build/**/.doctrees + - name: Upload Build Artifact uses: actions/upload-artifact@v2 with: -- cgit v1.2.3