Job 576

CakeML:35755bf197040e471a8464eb0696cf2d001d02d9
  Merge remote-tracking branch 'origin/master' into tiny [Nov 22 15:06:25]
#554 (tiny)
Merging into:19b073895fb32a069a88cf2b55eb0a4f0216e156
  Merge pull request #557 from CakeML/issue-538 [Nov 22 14:28:23]
HOL:311d28655f68e6aa94a1c51a05aa5a268faddb19
  Implement a toString function for term_tokens type [Nov 22 10:52:08]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Nov 22 23:15:02 Claimed job
Nov 22 23:15:21 Building HOL
Nov 22 23:24:43 Starting developers/bin
Nov 22 23:25:49 Finished developers/bin                                        1m05s 916MB
Nov 22 23:25:49 Starting semantics/ffi
Nov 22 23:26:29 Finished semantics/ffi                                           38s 402MB
Nov 22 23:26:30 Starting semantics
Nov 22 23:28:00 Finished semantics                                             1m29s 895MB
Nov 22 23:28:01 Starting semantics/proofs Nov 22 23:28:01 23s