Started 1 mo 17 days ago
Took 12 min

Success Build #1276 (Dec 4, 2019 8:13:52 PM)

PR #4033: Remove references of deprec...

GitHub pull request #4033 of commit c215804949f1edd4b38d5eb8501df4cc0f332b7f, no merge conflicts.

Test Result (no failures)