aboutsummaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorGravatar Hassan Abouelela <[email protected]>2022-10-26 13:19:23 +0400
committerGravatar GitHub <[email protected]>2022-10-26 12:19:23 +0300
commit6ae78684ee0e61d8a6ad8bb779ea30f2e5294d0d (patch)
tree6ec62baf8beaac40fc9ec759448f23483c8b803f /.github
parentMerge 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.yaml5
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: