Started 13 days ago
Took 27 min on ubuntu-testing

Failed Build #1545 (Jul 9, 2019 9:49:16 AM)

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

GitHub pull request #5140 of commit bddc2092377b4ef07d9683f244dc173d4832d2f7 automatically merged.

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