Started 2 yr 2 mo ago
Took 1 min 57 sec on amp-jenkins-worker-02

Success Build #21 (Sep 19, 2017 9:54:09 AM)

PR #20: [DECA-19] Change `make depl...
No changes.

GitHub pull request #20 of commit 3875b45e2c6b39bb6df0142571beb8005c1a4ef5 automatically merged.

Test Result (no failures)