From 4b2e21e0b635ea4c94525ef6540e929cedc83aec Mon Sep 17 00:00:00 2001 From: Sebastian Wick Date: Mon, 3 Nov 2025 16:31:21 +0100 Subject: [PATCH] ci: Get rid of paths-ignore to ensure all PRs can be merged We require jobs to succeed before a PR can be merged. If a PR only touches files which match `paths-ignore`, the jobs won't run and the PR can't be merged. The number of PRs which only touch those files is small, and the extra CI runs resulting from that can be ignored. --- .github/workflows/check.yml | 8 -------- 1 file changed, 8 deletions(-) diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index 70fce844..b8abef03 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -6,14 +6,6 @@ on: - main - 'flatpak-1.[0-9]+.x' pull_request: - paths-ignore: - - README.md - - CONTRIBUTING.md - - NEWS - - COPYING - - CODE_OF_CONDUCT.md - - uncrustify.cfg - - uncrustify.sh branches: - main - 'flatpak-1.[0-9]+.x'