Job 3356

CakeML: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:timtam

May 25 12:50:20 Claimed job
May 25 12:50:26 Building HOL
May 25 13:03:21 Starting developers
May 25 13:03:27 Finished developers                                               4s 163MB
May 25 13:03:27 Starting developers/bin
May 25 13:03:32 Finished developers/bin                                           4s  93MB
May 25 13:03:33 Starting misc
May 25 13:04:36 Finished misc                                                  1m01s   1GB
May 25 13:04:37 Starting compiler/proofs
May 25 14:08:34 Finished compiler/proofs                                    1h03m56s  10GB
May 25 14:08:35 Starting compiler/bootstrap/compilation/x64/64/proofs May 25 14:08:35 20935s