From 000b02fb7d7674f4274cc2065ba020816c34187f Mon Sep 17 00:00:00 2001 From: hobbes7878 Date: Sun, 20 Apr 2025 13:47:35 +0100 Subject: [PATCH] don't run manual doc publish on push --- .github/workflows/docs.yaml | 3 --- 1 file changed, 3 deletions(-) diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index c9838bf6..5fce5783 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -2,9 +2,6 @@ name: Manually publish docs on: workflow_dispatch: - push: - branches: - - main jobs: docs: