Started 22 days ago
Took 14 min

Failed Build #1581 (Oct 29, 2019 4:06:18 PM)

PR #4505: Relocated FrontEnd.hpp and ...

GitHub pull request #4505 of commit 2409033842b0da5db5e4a08f163f314ef03e7758, no merge conflicts.