Started 1 mo 14 days ago
Took 9 min 2 sec

Success Build #2201 (Dec 9, 2019 4:53:25 PM)

PR #4562: Add OMR_SOCKET_API flag to ...

GitHub pull request #4562 of commit abf078f726a1fa62d8663c2848c9fa7538a86f47, no merge conflicts.

Test Result (no failures)