diff options
| -rwxr-xr-x | jjb/scripts/publish_docs.sh | 2 | ||||
| -rw-r--r-- | jjb/vpp/docs.yaml | 5 |
2 files changed, 1 insertions, 6 deletions
diff --git a/jjb/scripts/publish_docs.sh b/jjb/scripts/publish_docs.sh index 1cf01a4bb..63bb5bc89 100755 --- a/jjb/scripts/publish_docs.sh +++ b/jjb/scripts/publish_docs.sh @@ -80,4 +80,4 @@ terraform init -no-color terraform apply -no-color -auto-approve popd -echo "S3 docs: <a href=\"https://${CDN_URL}${bucket_path}\">https://${CDN_URL}${bucket_path}</a>" +echo "S3 docs: <a href=\"https://${CDN_URL}/${bucket_path}\">https://${CDN_URL}/${bucket_path}</a>" diff --git a/jjb/vpp/docs.yaml b/jjb/vpp/docs.yaml index 50242ea53..12bb71f3d 100644 --- a/jjb/vpp/docs.yaml +++ b/jjb/vpp/docs.yaml @@ -218,11 +218,6 @@ override-votes: true gerrit-build-notbuilt-verified-value: 0 gerrit-build-successful-verified-value: 1 - skip-vote: - successful: true - failed: false - unstable: false - notbuilt: false builders: - shell: |