summaryrefslogtreecommitdiffstats
path: root/jjb/scripts/vpp/sphinx-docs.sh
AgeCommit message (Expand)AuthorFilesLines
2021-01-26Skip VPP build for merge jobs with Gerrit ID != git HEAD.Dave Wallace1-10/+20
2020-10-13Clean up vpp jenkins scripts & docker dirDave Wallace1-0/+16
2020-03-11fix vpp-sphinx-docs-verify-master job failurePaul Vinciguerra1-1/+1
2020-03-10fix vpp-sphinx-docs-verify-master job failurePaul Vinciguerra1-1/+1
2020-01-09VPP: Make script inclusion more readableVratko Polak1-0/+50