Started 12 days ago
Took 1 min 16 sec

Success Build #754 (Jul 31, 2020 10:35:10 PM)

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

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

This run spent:

  • 6.7 sec waiting;
  • 1 min 16 sec build duration;
  • 1 min 23 sec total from scheduled to completion.