Job 2699

CakeML:078ed3da0eb224d20313d5d596aa8193f408706e
  Fix Holmakefile [Nov 22 09:26:00]
#1094 (tweak-root-dir)
Merging into:d8b47adcad1fba86c8f0ae0ce9d1da925b080c63
  Merge pull request #1085 from CakeML/parse_err [Nov 12 20:21:29]
HOL:2de6b3ccc36da9c19998787a835c3ef9c81466fe
  Add a cute problem to examples/misc [Oct 30 04:33:10]
Machine:pavlova

Nov 22 12:23:41 Claimed job
Nov 22 12:23:56 Reusing HOL
Nov 22 12:24:12 Starting developers
Nov 22 12:24:20 Finished developers                                               3s 150MB
Nov 22 12:24:25 Starting developers/bin
Nov 22 12:24:46 Finished developers/bin                                          16s   1GB
Nov 22 12:24:50 Starting compiler/proofs
Nov 22 14:05:40 Finished compiler/proofs                                    1h40m45s  36GB
Nov 22 14:05:45 Starting compiler/bootstrap/translation Nov 22 14:05:45 32430s