From 72b0a48b5fa4e850b50e751bcf39b29d5f78f867 Mon Sep 17 00:00:00 2001
From: Massimiliano Culpo <massimiliano.culpo@gmail.com>
Date: Thu, 8 Sep 2022 08:51:47 +0200
Subject: [PATCH] ci: remove !docs from "core" filters

Written like it is now it causes package only PRs
to run with coverage.
---
 .github/workflows/ci.yaml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index f4943789d6a..ca4ab21ec03 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -65,7 +65,6 @@ jobs:
             - 'share/spack/**'
             - '.github/workflows/bootstrap.yml'
             core:
-            - '!lib/spack/docs/**'
             - './!(var/**)/**'
             packages:
             - 'var/**'