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