Code Review / ci-management.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | review | tree
raw | combined (merge: a6d0d84 d75b6bb)
Merge "Skip VPP build for merge jobs with Gerrit ID != git HEAD."
authorVratko Polak <[email protected]>
Thu, 28 Jan 2021 15:17:27 +0000 (15:17 +0000)
committerGerrit Code Review <[email protected]>
Thu, 28 Jan 2021 15:17:27 +0000 (15:17 +0000)

Trivial merge
Management repo for Jenkins Job Builder, script and management related to the Jenkins CI configuration.