Overview

Job 427

CakeML:42c919452dd418e7f3f60eec74e38fb6a9cc9d41
  Rename `flag` configuration type to `flagConf`
#511 (argparse)
Merging into:348a74050804214128ce62f0274f4443cc6730dd
  Remove exhProps
HOL:44b4d95a0dee002148eab60371346d0360517c5d
  Define longest_prefix and common_prefixes (over sets of lists)
Machine:demi

 Claimed job
 Building HOL
 Starting developers/bin
 Finished developers/bin                                           6s 915MB
 Starting semantics/ffi
 Finished semantics/ffi                                           52s 481MB
 Starting semantics
 Finished semantics                                             1m56s 843MB
 Starting semantics/proofs
 Finished semantics/proofs                                      3m49s   1GB
 Starting basis/pure
 Finished basis/pure                                            4m44s 828MB
 Starting translator
 Finished translator                                            2m13s 983MB
 Starting compiler/parsing
 Finished compiler/parsing                                      2m13s   1GB
 Starting characteristic
 Finished characteristic                                        3m15s   2GB
 Starting translator/monadic
 Finished translator/monadic                                    1m56s   1GB
 Starting basis
 Finished basis                                                25m25s   3GB
 Starting compiler/inference
 Finished compiler/inference                                    2m15s   1GB
 Starting compiler/backend/reg_alloc
 Finished compiler/backend/reg_alloc                              43s 918MB
 Starting compiler/backend/gc
 Finished compiler/backend/gc                                  12m24s   3GB
 Starting compiler/backend
 Finished compiler/backend                                         2s  39MB
 Starting compiler/encoders/asm
 Finished compiler/encoders/asm                                    1s  31MB
 Starting compiler/encoders/x64
 Finished compiler/encoders/x64                                 1m08s 584MB
 Starting compiler/encoders/arm6
 Finished compiler/encoders/arm6                                2m22s   1GB
 Starting compiler/encoders/arm8
 Finished compiler/encoders/arm8                                  33s 492MB
 Starting compiler/encoders/mips
 Finished compiler/encoders/mips                                1m19s 907MB
 Starting compiler/encoders/riscv
 Finished compiler/encoders/riscv                               1m25s 903MB
 Starting compiler/backend/x64
 Finished compiler/backend/x64                                    23s   1GB
 Starting compiler/backend/arm6
 Finished compiler/backend/arm6                                   26s   1GB
 Starting compiler/backend/arm8
 Finished compiler/backend/arm8                                   21s 884MB
 Starting compiler/backend/mips
 Finished compiler/backend/mips                                   24s   1GB
 Starting compiler/backend/riscv
 Finished compiler/backend/riscv                                  22s   1GB
 Starting compiler/parsing/proofs
 Finished compiler/parsing/proofs                               9m21s 876MB
 Starting compiler/inference/proofs
 Finished compiler/inference/proofs                             3m45s   1GB
 Starting compiler/backend/semantics
 Finished compiler/backend/semantics                           11m58s   2GB
 Starting compiler/backend/reg_alloc/proofs
 Finished compiler/backend/reg_alloc/proofs                     1m03s 697MB
 Starting compiler/backend/proofs
 Finished compiler/backend/proofs                              47m17s   3GB
 Starting compiler/encoders/x64/proofs
 Finished compiler/encoders/x64/proofs                          9m36s   4GB
 Starting compiler/encoders/arm6/proofs
 Finished compiler/encoders/arm6/proofs                         9m50s   4GB
 Starting compiler/encoders/arm8/proofs
 Finished compiler/encoders/arm8/proofs                         7m06s   1GB
 Starting compiler/encoders/mips/proofs
 Finished compiler/encoders/mips/proofs                         9m50s   2GB
 Starting compiler/encoders/riscv/proofs
 Finished compiler/encoders/riscv/proofs                       10m34s 985MB
 Starting compiler/backend/x64/proofs
 Finished compiler/backend/x64/proofs                             25s 770MB
 Starting compiler/backend/arm6/proofs
 Finished compiler/backend/arm6/proofs                            31s   1GB
 Starting compiler/backend/arm8/proofs
 Finished compiler/backend/arm8/proofs                            27s   1GB
 Starting compiler/backend/mips/proofs
 Finished compiler/backend/mips/proofs                            27s 942MB
 Starting compiler/backend/riscv/proofs
 Finished compiler/backend/riscv/proofs                           27s   1GB
 Starting compiler/proofs
 Finished compiler/proofs                                       1m46s   2GB
 Starting candle/set-theory
 Finished candle/set-theory                                       41s 598MB
 Starting candle/syntax-lib
 Finished candle/syntax-lib                                       12s 640MB
 Starting candle/standard/syntax
 Finished candle/standard/syntax                                2m03s 614MB
 Starting candle/standard/semantics
 Finished candle/standard/semantics                             1m46s 966MB
 Starting candle/standard/monadic
 Finished candle/standard/monadic                               1m54s 815MB
 Starting candle/standard/ml_kernel
 Finished candle/standard/ml_kernel                             4m37s   3GB
 Starting candle/standard/opentheory
 Finished candle/standard/opentheory                              17s 730MB
 Starting characteristic/examples
 Finished characteristic/examples                               2m15s   2GB
 Starting tutorial/solutions