Job 2853

CakeML:2a9deab6e91db380747768935512d60a84818734
  letrec progress/validity [May 31 01:26:21]
#1183 (scheme)
Merging into:e1650fc504837c0fbd3931cc5066914ffdc9d877
  Merge pull request #1184 from CakeML/bnn_checker [May 30 18:07:55]
HOL:cf6bf25b01eb56ffbc8c6810e9c548ba4327ed2f
  Merge branch 'develop' into mcandidate [Jun 07 22:57:21]
Machine:pavlova

Jun 09 16:34:50 Claimed job