Started 6 days 12 hr ago
Took 25 min on ubuntu-testing

Failed Build #1575 (Jul 10, 2019 1:25:36 AM)

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

GitHub pull request #5140 of commit 42179ea1d56d11e406672a574b6472ca7c082161 automatically merged.

Revision: 35775a633fd908d7d63630db2c8df4966d52c65b
  • origin/pr/5140/merge