Started 2 mo 13 days ago
Took 9 min 41 sec

Success Build #1286 (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)