to remove: enable coverage-linux

aduh95 · aduh95 · commit c66c751aafff · 2021-03-03T11:22:47.000+01:00
diff --git a/.github/workflows/coverage-linux.yml b/.github/workflows/coverage-linux.yml
@@ -6,7 +6,6 @@ on:
       - 'doc/**'
       - 'deps/**'
       - 'benchmark/**'
-      - 'tools/**'
   push:
     branches:
       - master
