From c87f95e117248df32f5900c40b33705092ca31ee Mon Sep 17 00:00:00 2001 From: jakmro Date: Tue, 10 Jun 2025 13:54:33 +0200 Subject: [PATCH] publish docs on push to main --- .github/workflows/publish_docs.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml index 836c151fd9..1292ea5be0 100644 --- a/.github/workflows/publish_docs.yml +++ b/.github/workflows/publish_docs.yml @@ -1,6 +1,12 @@ name: Publish to GitHub Pages on: + push: + branches: + - main + paths: + - '.github/workflows/publish_docs.yml' + - 'docs/**' workflow_dispatch: jobs: publish: