Code Review / ci-management.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | review | tree
raw | combined (merge: efc9fc5 b9af764)
Merge "vpp: print "git diff" before running API checkstyle"
authorVratko Polak <vrpolak@cisco.com>
Tue, 23 Feb 2021 15:06:45 +0000 (15:06 +0000)
committerGerrit Code Review <gerrit@fd.io>
Tue, 23 Feb 2021 15:06:45 +0000 (15:06 +0000)

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