Code Review / ci-management.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | review | tree
raw | combined (merge: 1f98e89 17e8069)
Merge "Add Ubuntu 18.04 docker nodes, including arm64"
authorEric Ball <eball@linuxfoundation.org>
Thu, 22 Aug 2019 21:47:03 +0000 (21:47 +0000)
committerGerrit Code Review <gerrit@akraino.org>
Thu, 22 Aug 2019 21:47:03 +0000 (21:47 +0000)

Trivial merge
CI infrastructure management and control repo