From 0cff99daa2f0356cc20263719859f03c774d751a Mon Sep 17 00:00:00 2001 From: Philippe-Cholet Date: Wed, 15 Nov 2023 14:49:14 +0100 Subject: [PATCH] No CI if only for markdown changes There is no point in running CI only for markdown changes. Such as #802 (prepare releases) and #767 (Contributing.md) https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#onpushpull_requestpull_request_targetpathspaths-ignore --- .github/workflows/ci.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 83deb9e40..8f265ae2b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,7 +2,11 @@ name: CI on: pull_request: + paths-ignore: + - "**.md" merge_group: + paths-ignore: + - "**.md" jobs: check: