CI: fix typo in GitHub CI workflow config
Switch `ignore-paths` with `paths-ignore`.
commit97ad96437c66799533e50336fcee06071c130d9c
authorAlbert Krewinkel <albert@zeitkraut.de>
dateTue 23 Jun 2020, 12:33 (6 years ago)
parent9672ff8
.github/workflows/ci.yml+2−2
@@ -5,7 +5,7 @@ on:
55 branches:
66 - '*'
77 - '!rc/*'
8− ignore-paths:
8+ paths-ignore:
99 - 'doc/**'
1010 - 'MANUAL.txt'
1111 - '*.md'
@@ -20,7 +20,7 @@ on:
2020 - 'windows/**'
2121 - 'man/**'
2222 pull_request:
23− ignore-paths:
23+ paths-ignore:
2424 - 'doc/**'
2525 - 'MANUAL.txt'
2626 - '*.md'