Started 12 days ago
Took 25 min on ubuntu-testing

Failed Build #1570 (Jul 9, 2019 11:14:49 PM)

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

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

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