Overview

Job 1829

CakeML:141a00a2070744e5529a2810967141cb80d5041f
  Fix `arm8_asl` proof
#869 (ffi-changes)
Merging into:94ac4b68ba71917ede94f5bb752deb85333acb21
  Fix a build error caused by HOL-Theorem-Prover/HOL@60adf92493ffff
HOL:47ea62a9b6ccbdb7ee64099fef54c49f572a53be
  Handle both % and & (special characters to TeX) uniformly in EmitTeX
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

 Claimed job
 Building HOL
 Starting developers
 Finished developers                                               7s  88MB
 Starting developers/bin
 Finished developers/bin                                           9s   1GB
 Starting semantics/ffi
 Finished semantics/ffi                                           12s 211MB
 Starting semantics
 Finished semantics                                             2m34s 882MB
 Starting semantics/proofs
 Finished semantics/proofs                                      5m52s   1GB
 Starting semantics/alt_semantics
 Finished semantics/alt_semantics                                 18s 498MB
 Starting semantics/alt_semantics/proofs
 Finished semantics/alt_semantics/proofs                        2m47s 901MB
 Starting basis/pure
 Finished basis/pure                                            3m45s 916MB
 Starting translator
 Finished translator                                            3m43s   1GB
 Starting compiler/parsing
 Finished compiler/parsing                                      1m39s   1GB
 Starting characteristic
 Finished characteristic                                        8m59s 740MB
 Starting translator/monadic
 Finished translator/monadic                                    2m44s 645MB
 Starting basis