Overview

Job 928

CakeML:2e7502a4c471019b8a289239af5b8d7ec34a5960
  Merge pull request #661 from CakeML/divord
HOL:27b999029af7e69c3496b29a745728c30561192b
  Fix regular-play/selftest.sml given testutils changes
Machine:brain09 4.14.127.1.amd64-smp

 Claimed job