diff --git a/.github/workflows/docs_pr1.yml b/.github/workflows/docs_pr1.yml deleted file mode 100644 index fd01127b49..0000000000 --- a/.github/workflows/docs_pr1.yml +++ /dev/null @@ -1,11 +0,0 @@ -name : docs_PR_1 -on: - pull_request: - branches: [master] - paths: - - 'docs/**' -jobs: - docs_on_PR: - runs-on: windows-latest - steps: - - run: echo "this job will trigger docs_PR2 workflow on pull request on changes in the docs"