Merge pull request #2135 from drwetter/drwetter-patch-1

docs --> doc
2026-05-25 02:28:42 +02:00 · 2022-04-01 14:13:20 +02:00
parent 2078ca52a8 084990a890
commit 1f846f73d8
1 changed files with 2 additions and 2 deletions
@@ -4,7 +4,7 @@ on:
  push:
    paths-ignore:
      - 'utils/**'
-      - 'docs/**'
+      - 'doc/**'
      - 'bin/**'
      - '**.md'
      - '**.pem'
@@ -14,7 +14,7 @@ on:
      - 'Dockerfile'
    pull_request:
      - 'utils/**'
-      - 'docs/**'
+      - 'doc/**'
      - 'bin/**'
      - '**.md'
      - '**.pem'