Started 52 min ago
Took 8 min 48 sec

Success Build #1935 (Nov 11, 2019 2:25:01 PM)

PR #4547: Runtime compressed refs work

GitHub pull request #4547 of commit 8cead10e4e033900dfcfe6c43b29767402580511, no merge conflicts.

Test Result (no failures)