Job 2870

CakeML:2a9deab6e91db380747768935512d60a84818734
  letrec progress/validity [May 31 01:26:21]
#1183 (scheme)
Merging into:b378040fc02c949ecd0a24ced798201a572514a4
  Merge pull request #1186 from CakeML/mcandidate-fix [Jun 16 00:47:48]
HOL:98d19aa7937d0d22a22b0a6dc34d08f94e0a7464
  Apply a fix suggested by Yong Kiam [Jun 24 05:53:03]
Machine:lammmington

Jun 24 17:13:22 Claimed job