Started 1 mo 23 days ago
Took 12 min

Success Build #1250 (Nov 28, 2019 12:05:36 PM)

PR #4606: Add option disabling inline...

GitHub pull request #4606 of commit 67022e814b3ca455d8d9ba9c6edf712b1124a9b9, no merge conflicts.

Test Result (no failures)