docs --> doc

fix wrong dir for CI
This commit is contained in:
Dirk Wetter
2022-04-01 14:12:56 +02:00
committed by GitHub
parent 2078ca52a8
commit 084990a890

@ -4,7 +4,7 @@ on:
push: push:
paths-ignore: paths-ignore:
- 'utils/**' - 'utils/**'
- 'docs/**' - 'doc/**'
- 'bin/**' - 'bin/**'
- '**.md' - '**.md'
- '**.pem' - '**.pem'
@ -14,7 +14,7 @@ on:
- 'Dockerfile' - 'Dockerfile'
pull_request: pull_request:
- 'utils/**' - 'utils/**'
- 'docs/**' - 'doc/**'
- 'bin/**' - 'bin/**'
- '**.md' - '**.md'
- '**.pem' - '**.pem'