Started 1 mo 14 days ago
Took 8 min 49 sec

Success Build #2188 (Dec 6, 2019 10:40:05 AM)

PR #4431: Update configure scripts fo...

GitHub pull request #4431 of commit c00692b1ade5f70faa1a7585775a0deacd4d9d3c, no merge conflicts.

Test Result (no failures)