From bdfb74ad773de2dc7e0244fe7731130a8e39b025 Mon Sep 17 00:00:00 2001 From: BoxBoxJason Date: Sat, 31 Oct 2026 13:24:44 +0000 Subject: [PATCH] ci: build the docs site only when its sources change Pull requests and pushes to main now run the docs workflow only when docs/ (or a file the site is built from) changes, instead of on every change. The weekly scheduled run and manual runs are unchanged. --- .github/workflows/docs.yml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 0a0eb7f..dddf519 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -2,10 +2,18 @@ name: Documentation on: workflow_dispatch: + # Only when something the site is built from changes: the site is not rebuilt for + # code-only changes. The weekly schedule below still checks links every week. pull_request: + paths: + - "docs/**" + - ".github/workflows/docs.yml" push: branches: - main + paths: + - "docs/**" + - ".github/workflows/docs.yml" schedule: # Weekly, to catch links to other websites that went dead. - cron: "41 5 * * 1"