Started 5 hr 59 min ago
Took 20 min

Success Build #711 (Apr 1, 2020 1:21:33 PM)

Changes
  1. Bug: List concat unification (#1706) (details / githubweb)

Push event to branch master at 1:21:27 PM on Apr 1, 2020

Revision: c2c9bca46d87a2e5237b40680cd667b5856ab3e2
  • master
Test Result (no failures)