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"