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.
2021-01-30 21:40:11 +01:00 · 2021-01-30 21:40:11 +01:00 · 7cba593a85
commit 7cba593a85
parent 0d04792116
1 changed files with 6 additions and 6 deletions
--- 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: