Started 1 yr 2 mo ago
Took 5 min 26 sec

Success Build #27 (Aug 13, 2019 6:58:11 PM)

PR #22: Make listen URIs configurable
No changes.

GitHub pull request #22 of commit f7bdfd1fb2741a7b99020e10c1f0d3ee1bb60daf, no merge conflicts.