Fix GitHub Actions: path-ignore → paths-ignore

tbroyer · Feb 4, 2024 · d205e78 · d205e78
1 parent 6e24d7a
commit d205e78
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/gradle.yaml b/.github/workflows/gradle.yaml
@@ -2,10 +2,10 @@ name: CI
 
 on:
   push:
-    path-ignore:
+    paths-ignore:
       - '**/*.md'
   pull_request:
-    path-ignore:
+    paths-ignore:
       - '**/*.md'
 
 # First build on Linux with JDK 11