Started 12 days ago
Took 24 min

Failed Build #583 (May 22, 2020 12:17:09 PM)

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

GitHub pull request #377 of commit 6a3701d631e2c729f75dadd962257fdcc1bb1c8c, no merge conflicts.