Started 14 days ago
Took 3 min 25 sec on VM1

Aborted Build #622 (Jul 30, 2020, 4:37:53 PM)

Changes
  1. Protect threaded access to record map (commit: 8b02488) (details / githubweb)

Started by GitHub push by b-scholz

Revision: 8538901fe83e74727e46dd2fc957298bbd6fd696
  • origin/master