Job 1831

CakeML:141a00a2070744e5529a2810967141cb80d5041f
  Fix `arm8_asl` proof [Mar 24 09:53:34]
#869 (ffi-changes)
Merging into:94ac4b68ba71917ede94f5bb752deb85333acb21
  Fix a build error caused by HOL-Theorem-Prover/HOL@60adf92493ffff [Mar 17 04:55:12]
HOL:47ea62a9b6ccbdb7ee64099fef54c49f572a53be
  Handle both % and & (special characters to TeX) uniformly in EmitTeX [Mar 24 06:58:03]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Mar 25 13:32:28 Claimed job
Mar 25 13:32:33 Building HOL
Mar 25 13:42:10 Starting developers
Mar 25 13:42:14 Finished developers                                               4s 121MB
Mar 25 13:42:14 Starting developers/bin
Mar 25 13:42:43 Finished developers/bin                                          28s   1GB
Mar 25 13:42:43 Starting semantics/ffi
Mar 25 13:42:53 Finished semantics/ffi                                           10s 244MB
Mar 25 13:42:53 Starting semantics
Mar 25 13:45:01 Finished semantics                                             2m08s   1GB
Mar 25 13:45:01 Starting semantics/proofs
Mar 25 13:49:06 Finished semantics/proofs                                      4m04s   3GB
Mar 25 13:49:07 Starting semantics/alt_semantics
Mar 25 13:49:23 Finished semantics/alt_semantics                                 16s 503MB
Mar 25 13:49:23 Starting semantics/alt_semantics/proofs
Mar 25 13:51:43 Finished semantics/alt_semantics/proofs                        2m20s 897MB
Mar 25 13:51:43 Starting basis/pure
Mar 25 13:54:51 Finished basis/pure                                            3m06s 844MB
Mar 25 13:54:51 Starting translator
Mar 25 13:57:52 Finished translator                                            3m00s   1GB
Mar 25 13:57:52 Starting compiler/parsing
Mar 25 13:59:07 Finished compiler/parsing                                      1m15s   2GB
Mar 25 13:59:07 Starting characteristic
Mar 25 14:05:33 Finished characteristic                                        6m25s   2GB
Mar 25 14:05:33 Starting translator/monadic
Mar 25 14:07:33 Finished translator/monadic                                    2m00s   1GB
Mar 25 14:07:33 Starting basis Mar 25 14:07:33 1840s