Started 12 days ago
Took 25 min on ubuntu-testing

Failed Build #1582 (Jul 10, 2019 4:26:11 AM)

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

GitHub pull request #5140 of commit 20cbf1ffdef495ea710e15b3f61a175bb9350149 automatically merged.

Revision: b6c54a13ddfca50ddd8021b6dd3432a39410b119
  • origin/pr/5140/merge