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

Failed Build #1615 (Jul 11, 2019 7:51:38 AM)

PR #5172: remove redundant scaler of...
No changes.

GitHub pull request #5172 of commit 4d0d64fad2397b4d0422f75a3d092e54defa373e automatically merged.