Started 2 days 16 hr ago
Took 9 min 33 sec

Success Build #1312 (Dec 13, 2019 4:13:49 PM)

PR #4673: Remove definitions and uses...

GitHub pull request #4673 of commit 4342618c19c4f058b941587838a1b2597f423ad0, no merge conflicts.

Test Result (no failures)