diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml deleted file mode 100644 index 84725be4b9..0000000000 --- a/.github/workflows/coverage.yml +++ /dev/null @@ -1,30 +0,0 @@ -name: Code Coverage - -on: - # Allow manually triggering this workflow - workflow_dispatch: - pull_request: - push: - branches: - - develop - -jobs: - filter-changes: - runs-on: ubuntu-22.04 - outputs: - nondocchanges: ${{ steps.filter.outputs.nondoc }} - steps: - - uses: actions/checkout@v4 - with: - ssh-key: ${{ secrets.GH_ACTION_PRIVATE_KEY }} - - uses: dorny/paths-filter@v3 - id: filter - with: - # this pattern matches using picomatch syntax (used by this third party Action), which is slightly - # different than GitHub syntax: it matches any file in any path ending in '.md'. this checks if - # any non-markdown files were changed. - filters: | - nondoc: - - '!**/*.md' - -