Started 12 days ago
Took 5 min 52 sec

Success Build #753 (Jul 31, 2020 9:45:10 PM)

PR #4157: 1.15 GUIs with updated text...
No changes.

GitHub pull request #4157 of commit a75e62aa5d3eeac1c3ef283c22d2a02cd1f6abc7, no merge conflicts.

This run spent:

  • 7.8 sec waiting;
  • 5 min 52 sec build duration;
  • 6 min 0 sec total from scheduled to completion.