Job 787

CakeML:57f814bca77863317234e22e1fc4222527bf59f1
  Fix state packing bug in ml_monad_translatorLib [Apr 11 08:24:05]
#627 (monadic-trans-cleanup)
Merging into:dd8ca4fca024b5b629a7c3ed7d3d4b1844c82f3d
  Merge pull request #628 from CakeML/ThmSetData-API-change [Apr 10 21:53:38]
HOL:0cdc1c5e474153a12e74161f20eb8f5d88a3405f
  mark local program variable [Apr 11 05:11:17]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Apr 12 16:15:26 Claimed job
Apr 12 16:15:43 Building HOL
Apr 12 16:24:09 Starting developers
Apr 12 16:24:10 Finished developers                                               0s  31MB
Apr 12 16:24:10 Starting developers/bin
Apr 12 16:24:46 Finished developers/bin                                          35s 142MB
Apr 12 16:24:46 Starting semantics/ffi
Apr 12 16:25:23 Finished semantics/ffi                                           36s 535MB
Apr 12 16:25:23 Starting semantics
Apr 12 16:27:05 Finished semantics                                             1m40s 917MB
Apr 12 16:27:05 Starting semantics/proofs
Apr 12 16:30:15 Finished semantics/proofs                                      3m09s   1GB
Apr 12 16:30:16 Starting basis/pure
Apr 12 16:34:05 Finished basis/pure                                            3m49s 635MB
Apr 12 16:34:06 Starting translator
Apr 12 16:35:56 Finished translator                                            1m49s   1GB
Apr 12 16:35:56 Starting compiler/parsing
Apr 12 16:37:08 Finished compiler/parsing                                      1m11s   2GB
Apr 12 16:37:08 Starting characteristic
Apr 12 16:42:42 Finished characteristic                                        5m33s   1GB
Apr 12 16:42:42 Starting translator/monadic
Apr 12 16:44:12 Finished translator/monadic                                    1m29s   1GB
Apr 12 16:44:13 Starting basis Apr 12 16:44:13 148s