From e7cd875ab0b41e07aec4e53fe87ed6f4b4b0b2ba Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Mon, 1 Feb 2021 10:47:23 +0100 Subject: [PATCH] Ignore changes to more files in GitHub CI workflow Don't bother rebuilding everything when nothing important has changed. --- .github/workflows/ci.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 42258bd0dd..e42dc1f234 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -6,14 +6,20 @@ on: branches: - master paths-ignore: + - 'distrib' - 'docs' - 'interface' + - '*.md' + - '*.yml' pull_request: branches: - master paths-ignore: + - 'distrib' - 'docs' - 'interface' + - '*.md' + - '*.yml' jobs: build: