Started 1 mo 11 days ago
Took 1 hr 58 min

Success Build #1311 (Dec 12, 2019 9:12:52 AM)

PR #4433: Update makefile scripts for...

GitHub pull request #4433 of commit 41a869309baa0302b9bc6a7ee8ac312daebe8a8a, no merge conflicts.

Test Result (no failures)