Started 1 mo 10 days ago
Took 9 min 37 sec

Success Build #2072 (Oct 31, 2019 12:18:11 PM)

PR #4522: Remove definitions of depre...

GitHub pull request #4522 of commit 1669582ef410c2d696115f07069b4a63513769b4, no merge conflicts.

Test Result (no failures)