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

Failed Build #1616 (Jul 11, 2019 8:18:37 AM)

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

GitHub pull request #5140 of commit 85f2d7322c113266a373efc43e393609652302ea automatically merged.

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