From b0a6e167bcda6b50e89d3fd37f42e33898033b7d Mon Sep 17 00:00:00 2001 From: Joachim Wiberg Date: Tue, 12 Aug 2025 13:02:50 +0200 Subject: [PATCH] .github: drop doc build on PR, only main and doc branch triggers Signed-off-by: Joachim Wiberg --- .github/workflows/docs.yml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index efe9b421..4dc02b32 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -11,12 +11,6 @@ on: - 'doc/**' - 'mkdocs.yml' - '.github/workflows/docs.yml' - pull_request: - types: [opened, synchronize, reopened, labeled] - paths: - - 'doc/**' - - 'mkdocs.yml' - - '.github/workflows/docs.yml' permissions: contents: write