From c66c751aaffffb940910c205c2eac343275bbefa Mon Sep 17 00:00:00 2001
From: Antoine du Hamel <duhamelantoine1995@gmail.com>
Date: Wed, 3 Mar 2021 11:21:30 +0100
Subject: [PATCH] to remove: enable coverage-linux

---
 .github/workflows/coverage-linux.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/coverage-linux.yml b/.github/workflows/coverage-linux.yml
index 75f296230dfd37..781e33398605ce 100644
--- a/.github/workflows/coverage-linux.yml
+++ b/.github/workflows/coverage-linux.yml
@@ -6,7 +6,6 @@ on:
       - 'doc/**'
       - 'deps/**'
       - 'benchmark/**'
-      - 'tools/**'
   push:
     branches:
       - master