Job 2863

CakeML:b378040fc02c949ecd0a24ced798201a572514a4
  Merge pull request #1186 from CakeML/mcandidate-fix [Jun 16 00:47:48]
HOL:86a75cd8d1485d21d884aaa99aef55e9299ffb62
  [termination] [Jun 14 17:10:27]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jun 17 06:14:24 Claimed job
Jun 17 06:14:25 Reusing HOL
Jun 17 06:14:36 Starting developers
Jun 17 06:14:37 Finished developers                                               0s  34MB
Jun 17 06:14:37 Starting developers/bin
Jun 17 06:14:41 Finished developers/bin                                           3s 479MB
Jun 17 06:14:41 Starting misc
Jun 17 06:15:41 Finished misc                                                    59s   1GB
Jun 17 06:15:41 Starting compiler/proofs Jun 17 06:15:41 6019s