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

Failed Build #1621 (Jul 11, 2019 10:22:32 AM)

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

GitHub pull request #5140 of commit 5e66995738ac3cbeaca743835236abce36085a90 automatically merged.

Revision: 07d5a918b9771d30c5826a9152e7050795245817
  • origin/pr/5140/merge