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

Failed Build #1638 (Jul 11, 2019 10:47:34 PM)

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

GitHub pull request #5172 of commit abdf952d826149c389c29e1b4db3f5d206d8c209 automatically merged.