diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/coverage-linux.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.github/workflows/coverage-linux.yml b/.github/workflows/coverage-linux.yml index c8b740db801..2ee6c8b5f19 100644 --- a/.github/workflows/coverage-linux.yml +++ b/.github/workflows/coverage-linux.yml @@ -8,7 +8,6 @@ on: - 'benchmark/**' - 'deps/**' - 'doc/**' - - 'tools/**' push: branches: - master @@ -18,7 +17,6 @@ on: - 'benchmark/**' - 'deps/**' - 'doc/**' - - 'tools/**' env: PYTHON_VERSION: 3.9 |