From 1490d8f5a2efbec4b5fcbc9fc6290bb15bc68bf4 Mon Sep 17 00:00:00 2001 From: Alessandro Aimi Date: Thu, 9 Nov 2023 15:09:37 +0100 Subject: [PATCH] Remove redundant on-merge workflow --- .github/workflows/on-merge.yml | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 .github/workflows/on-merge.yml diff --git a/.github/workflows/on-merge.yml b/.github/workflows/on-merge.yml deleted file mode 100644 index 4bbb8bff42..0000000000 --- a/.github/workflows/on-merge.yml +++ /dev/null @@ -1,13 +0,0 @@ -name: "CI jobs to be run on PR merge" -run-name: "on-merge" - -on: - pull_request: - branches: [develop] - types: - - closed - -jobs: - deploy-doc: - if: github.event.pull_request.merged == true - uses: ./.github/workflows/deploy-doc.yml