From 7cba593a85692d2bdb8dcaf9e5709e066292899d Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Sat, 30 Jan 2021 21:40:11 +0100 Subject: [PATCH] Fix ignoring paths for the GitHub CI builds This was broken in 52d63eedd2 (Don't rerun CI builds for docs-only changes, 2021-01-28) and no builds were run at all as the result. --- .github/workflows/ci.yml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index bddc0b91c1..7f4f7dd368 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,15 +5,15 @@ on: push: branches: - master - paths: - - '!docs' - - '!interface' + paths-ignore: + - 'docs' + - 'interface' pull_request: branches: - master - paths: - - '!docs' - - '!interface' + paths-ignore: + - 'docs' + - 'interface' jobs: build: