From 9b6f076cf730e363748cc347c0f039035594dc63 Mon Sep 17 00:00:00 2001 From: Lucas Colley Date: Wed, 27 May 2026 01:08:31 +0100 Subject: [PATCH] CI: de-duplicate docs build on PRs --- .github/workflows/docs.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 74a62aec..c492a85d 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,6 +1,9 @@ name: Docs -on: [push, pull_request] +on: + push: + branches: [main] + pull_request: permissions: {}