Started 5 days 7 hr ago
Took 23 min

Failed Build #582 (May 22, 2020 2:27:08 AM)

PR #377: Fix types in platform not b...

GitHub pull request #377 of commit 38c74efa5f2d1657ece2915a56f7e4a02bafc353, no merge conflicts.