diff options
| -rw-r--r-- | jjb/vpp/docs.yaml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jjb/vpp/docs.yaml b/jjb/vpp/docs.yaml index e80a46656..50242ea53 100644 --- a/jjb/vpp/docs.yaml +++ b/jjb/vpp/docs.yaml @@ -214,7 +214,7 @@ branch-pattern: '**/{branch}' file-paths: - compare-type: 'REG_EXP' - pattern: '.*/docs/.*' + pattern: '.*docs/.*' override-votes: true gerrit-build-notbuilt-verified-value: 0 gerrit-build-successful-verified-value: 1 @@ -291,7 +291,7 @@ branch-pattern: '**/{branch}' file-paths: - compare-type: 'REG_EXP' - pattern: '.*/docs/.*' + pattern: '.*docs/.*' skip-vote: successful: true failed: false |