Code Review / ci-management.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | review | tree
raw | combined (merge: 77a5851 ad78162)
Merge "Set PLATFORM=vpp for all 'make -C build-root/Makefile'"
authorVratko Polak <vrpolak@cisco.com>
Fri, 11 Oct 2019 10:36:05 +0000 (10:36 +0000)
committerGerrit Code Review <gerrit@fd.io>
Fri, 11 Oct 2019 10:36:05 +0000 (10:36 +0000)

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