Job 3355

CakeML:5ea273ee4c90961f8cff69afd3c3d2df6ee57520
  Merge branch 'master' into pancake-add-inst [May 22 16:07:48]
#1398 (pancake-add-inst)
Merging into:35898f2190ba17c7a38ab0f91fe57a4ce9dbbbc8
  pancake/loop: extend Break/Continue with nesting-depth num (#1395) [May 22 16:05:01]
HOL:c7b52ad03fb162477aad3544b5d81e2e194f467e
  Holmake/Mosml: compile HM_TheoryDat into the Mosml Holmake build [May 24 02:43:20]
Machine:pavlova

May 25 12:50:13 Claimed job
May 25 12:50:19 Building HOL
May 25 13:03:23 Starting developers
May 25 13:03:28 Finished developers                                               4s 203MB
May 25 13:03:29 Starting developers/bin
May 25 13:03:33 Finished developers/bin                                           2s  93MB
May 25 13:03:34 Starting misc
May 25 13:04:34 Finished misc                                                    59s   1GB
May 25 13:04:35 Starting compiler/proofs
May 25 14:10:02 Finished compiler/proofs                                    1h05m26s  10GB
May 25 14:10:03 Starting compiler/bootstrap/compilation/x64/64/proofs May 25 14:10:03 20935s