diff options
author | 2022-10-26 13:19:23 +0400 | |
---|---|---|
committer | 2022-10-26 12:19:23 +0300 | |
commit | 6ae78684ee0e61d8a6ad8bb779ea30f2e5294d0d (patch) | |
tree | 6ec62baf8beaac40fc9ec759448f23483c8b803f /.github | |
parent | Merge pull request #88 from Numerlor/no-duplicate-deco (diff) |
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.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/docs.yaml | 5 |
1 files changed, 5 insertions, 0 deletions
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: |