From 45a53bf0a419501f76270d045e563305a0c86e73 Mon Sep 17 00:00:00 2001 From: Ruben Anders Date: Sun, 23 Aug 2020 14:07:30 +0200 Subject: [PATCH] dont ignore md files for CI in pull requests (#1881) This should help merging readme PRs without having to use scary buttons --- .github/workflows/check-formatting.yml | 3 --- 1 file changed, 3 deletions(-) diff --git a/.github/workflows/check-formatting.yml b/.github/workflows/check-formatting.yml index aa733298..a8da9af8 100644 --- a/.github/workflows/check-formatting.yml +++ b/.github/workflows/check-formatting.yml @@ -6,9 +6,6 @@ on: - 'docs/**' - '*.md' pull_request: - paths-ignore: - - 'docs/**' - - '*.md' jobs: build: