Job 1829

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:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Mar 25 11:25:10 Claimed job
Mar 25 11:25:18 Building HOL
Mar 25 11:37:20 Starting developers
Mar 25 11:37:27 Finished developers                                               7s  88MB
Mar 25 11:37:28 Starting developers/bin
Mar 25 11:37:38 Finished developers/bin                                           9s   1GB
Mar 25 11:37:38 Starting semantics/ffi
Mar 25 11:37:51 Finished semantics/ffi                                           12s 211MB
Mar 25 11:37:51 Starting semantics
Mar 25 11:40:25 Finished semantics                                             2m34s 882MB
Mar 25 11:40:25 Starting semantics/proofs
Mar 25 11:46:18 Finished semantics/proofs                                      5m52s   1GB
Mar 25 11:46:18 Starting semantics/alt_semantics
Mar 25 11:46:37 Finished semantics/alt_semantics                                 18s 498MB
Mar 25 11:46:37 Starting semantics/alt_semantics/proofs
Mar 25 11:49:25 Finished semantics/alt_semantics/proofs                        2m47s 901MB
Mar 25 11:49:25 Starting basis/pure
Mar 25 11:53:10 Finished basis/pure                                            3m45s 916MB
Mar 25 11:53:11 Starting translator
Mar 25 11:56:54 Finished translator                                            3m43s   1GB
Mar 25 11:56:54 Starting compiler/parsing
Mar 25 11:58:34 Finished compiler/parsing                                      1m39s   1GB
Mar 25 11:58:34 Starting characteristic
Mar 25 12:07:34 Finished characteristic                                        8m59s 740MB
Mar 25 12:07:34 Starting translator/monadic
Mar 25 12:10:19 Finished translator/monadic                                    2m44s 645MB
Mar 25 12:10:19 Starting basis Mar 25 12:10:19 148s