From 5409b72cfefc459d79f5d59cc77c3dda34dcd4e6 Mon Sep 17 00:00:00 2001 From: James Frost Date: Thu, 5 Oct 2023 13:49:37 +0100 Subject: [PATCH 1/2] Skip build-docs on push to main The docs will already be built as part of the documentation deploy process, so this was redundant. --- .github/workflows/pr_ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/pr_ci.yml b/.github/workflows/pr_ci.yml index 431bf1055..711524e3e 100644 --- a/.github/workflows/pr_ci.yml +++ b/.github/workflows/pr_ci.yml @@ -83,6 +83,7 @@ jobs: run: pre-commit run --show-diff-on-failure --color=always --all-files build-docs: + if: github.event_name == 'pull_request' runs-on: ubuntu-latest steps: - uses: actions/checkout@v3 From 1c1d0fdcf036483ab7c3cc202089aa3d79392440 Mon Sep 17 00:00:00 2001 From: James Frost Date: Thu, 5 Oct 2023 14:08:38 +0100 Subject: [PATCH 2/2] Reduce retention of intermediate docs artefact The full website is already in the github-pages artefact, so we don't need to keep the intermediate one around. --- .github/workflows/documentation.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index a141a4c4c..2ebf9bfc2 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -36,7 +36,7 @@ jobs: with: name: html-docs path: docs/build/html/ - retention-days: 10 + retention-days: 1 if-no-files-found: error pages-deploy: