Started 6 days 2 hr ago
Took 27 min on ubuntu-testing

Failed Build #1546 (Jul 9, 2019 10:16:43 AM)

PR #5140: [direct call] changes rayle...
No changes.

GitHub pull request #5140 of commit df2a6fff1a03d35b54af4ab8fdb8079cba6887c9 automatically merged.

Revision: 6823d2131da0b66db4b71610768f67632a1acb10
  • origin/pr/5140/merge