Overview

Job 1503

CakeML:e4695275e4d5b97462460088478cf7d14f19092f
  Remove commented-out junk
#823 (arm64-apple)
Merging into:9c2de3ee5f524d70e727448b250ce0f8f085ee53
  Merge pull request #820 from CakeML/fix-export-x64-macos
HOL:ab03cec5200c8b23f9ba60c5cea958cfcd0cd158
  Make all string overloads "inferior"
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

 Claimed job
 Reusing HOL
 Starting developers
 Finished developers                                               4s  97MB
 Starting developers/bin
 Finished developers/bin                                           6s   1GB
 Starting semantics/ffi
 Finished semantics/ffi                                           11s 244MB
 Starting semantics
 Finished semantics                                             1m26s   1GB
 Starting semantics/proofs
 Finished semantics/proofs                                      3m33s 883MB
 Starting semantics/alt_semantics
 Finished semantics/alt_semantics                                  9s 304MB
 Starting semantics/alt_semantics/proofs
 Finished semantics/alt_semantics/proofs                        2m17s 802MB
 Starting basis/pure
 Finished basis/pure                                              50s 829MB
 Starting translator
 Finished translator                                            2m47s   2GB
 Starting compiler/parsing
 Finished compiler/parsing                                      1m12s   1GB
 Starting characteristic
 Finished characteristic                                        6m15s   1GB
 Starting translator/monadic
 Finished translator/monadic                                    1m42s   1GB
 Starting basis
 Finished basis                                                46m55s  13GB
 Starting compiler/inference
 Finished compiler/inference                                    1m04s   1GB
 Starting compiler/backend/reg_alloc
 Finished compiler/backend/reg_alloc                            1m08s   1GB
 Starting compiler/backend/gc
 Finished compiler/backend/gc                                   3m35s   2GB
 Starting compiler/backend
 Finished compiler/backend                                      5m07s   3GB
 Starting compiler/encoders/asm
 Finished compiler/encoders/asm                                   22s 736MB
 Starting compiler/encoders/x64
 Finished compiler/encoders/x64                                   26s   1GB
 Starting compiler/encoders/arm7
 Finished compiler/encoders/arm7                                  52s 718MB
 Starting compiler/encoders/arm8
 Finished compiler/encoders/arm8                                  13s 894MB
 Starting compiler/encoders/mips
 Finished compiler/encoders/mips                                  17s   1GB
 Starting compiler/encoders/riscv
 Finished compiler/encoders/riscv                                 15s 802MB
 Starting compiler/encoders/ag32
 Finished compiler/encoders/ag32                                  18s 853MB
 Starting compiler/backend/x64
 Finished compiler/backend/x64                                    20s   1GB
 Starting compiler/backend/arm7
 Finished compiler/backend/arm7                                   21s   1GB
 Starting compiler/backend/arm8
 Finished compiler/backend/arm8                                   18s   1GB
 Starting compiler/backend/mips
 Finished compiler/backend/mips                                   20s   1GB
 Starting compiler/backend/riscv
 Finished compiler/backend/riscv                                  20s   1GB
 Starting compiler/backend/ag32
 Finished compiler/backend/ag32                                 1m14s   1GB
 Starting compiler/parsing/proofs
 Finished compiler/parsing/proofs                               5m50s   1GB
 Starting compiler/inference/proofs
 Finished compiler/inference/proofs                             2m37s   1GB
 Starting compiler/backend/semantics
 Finished compiler/backend/semantics                           33m23s   2GB
 Starting compiler/backend/reg_alloc/proofs
 Finished compiler/backend/reg_alloc/proofs                     3m50s 812MB
 Starting compiler/backend/proofs
 Finished compiler/backend/proofs                              58m48s  16GB
 Starting compiler/encoders/x64/proofs
 Finished compiler/encoders/x64/proofs                         10m33s   4GB
 Starting compiler/encoders/arm7/proofs
 Finished compiler/encoders/arm7/proofs                        14m14s   6GB
 Starting compiler/encoders/arm8/proofs
 Finished compiler/encoders/arm8/proofs                         7m22s   1GB
 Starting compiler/encoders/mips/proofs
 Finished compiler/encoders/mips/proofs                        10m40s   2GB
 Starting compiler/encoders/riscv/proofs
 Finished compiler/encoders/riscv/proofs                        9m42s   1GB
 Starting compiler/encoders/ag32/proofs
 Finished compiler/encoders/ag32/proofs                         2m49s 615MB
 Starting compiler/backend/x64/proofs
 Finished compiler/backend/x64/proofs                             21s   1GB
 Starting compiler/backend/arm7/proofs
 Finished compiler/backend/arm7/proofs                            22s   1GB
 Starting compiler/backend/arm8/proofs
 Finished compiler/backend/arm8/proofs                            22s   1GB
 Starting compiler/backend/mips/proofs
 Finished compiler/backend/mips/proofs                            22s   1GB
 Starting compiler/backend/riscv/proofs
 Finished compiler/backend/riscv/proofs                           22s   1GB
 Starting compiler/backend/ag32/proofs
 Finished compiler/backend/ag32/proofs                         13m55s   2GB
 Starting compiler/proofs
 Finished compiler/proofs                                       1m39s   4GB
 Starting candle/set-theory
 Finished candle/set-theory                                       29s 845MB
 Starting candle/syntax-lib
 Finished candle/syntax-lib                                       10s 740MB
 Starting candle/standard/syntax
 Finished candle/standard/syntax                                1m55s   1GB
 Starting candle/standard/semantics
 Finished candle/standard/semantics                             1m48s 958MB
 Starting candle/standard/monadic
 Finished candle/standard/monadic                               1m50s   1GB
 Starting candle/standard/ml_kernel
 Finished candle/standard/ml_kernel                             5m55s   4GB
 Starting candle/overloading/syntax
 Finished candle/overloading/syntax                             3m20s   1GB
 Starting candle/overloading/semantics
 Finished candle/overloading/semantics                         12m45s   4GB
 Starting characteristic/examples
 Finished characteristic/examples                               1m20s   3GB
 Starting tutorial/solutions
 Finished tutorial/solutions                                   16m14s   7GB
 Starting translator/monadic/examples
 Finished translator/monadic/examples                           3m17s   2GB
 Starting examples
 Finished examples                                              8m51s   3GB
 Starting examples/compilation/x64
 Finished examples/compilation/x64                           2h27m02s  16GB
 Starting examples/compilation/x64/proofs
 Finished examples/compilation/x64/proofs                       1m45s   2GB
 Starting examples/compilation/ag32
 Finished examples/compilation/ag32                            34m38s   7GB
 Starting examples/compilation/ag32/proofs
 Finished examples/compilation/ag32/proofs                        48s   2GB
 Starting examples/cost
 Finished examples/cost                                        57m53s   8GB
 Starting examples/lpr_checker
 Finished examples/lpr_checker                                  4m02s   4GB
 Starting examples/lpr_checker/compilation
 Finished examples/lpr_checker/compilation                     18m57s   9GB
 Starting examples/lpr_checker/compilation/proofs
 Finished examples/lpr_checker/compilation/proofs                 40s   2GB
 Starting examples/lpr_checker/array
 Finished examples/lpr_checker/array                           15m27s   3GB
 Starting examples/lpr_checker/array/compilation
 Finished examples/lpr_checker/array/compilation               20m35s  12GB
 Starting examples/lpr_checker/array/compilation/proofs
 Finished examples/lpr_checker/array/compilation/proofs           51s   4GB
 Starting examples/opentheory
 Finished examples/opentheory                                  10m10s   5GB
 Starting examples/opentheory
 Finished examples/opentheory                                      1s  23MB
 Starting examples/opentheory/compilation
 Finished examples/opentheory/compilation                      34m03s  19GB
 Starting examples/opentheory/compilation/proofs
 Finished examples/opentheory/compilation/proofs                  40s   3GB
 Starting examples/opentheory/compilation/ag32
 Finished examples/opentheory/compilation/ag32                 34m23s  23GB
 Starting examples/opentheory/compilation/ag32/proofs
 Finished examples/opentheory/compilation/ag32/proofs           1m37s   5GB
 Starting translator/okasaki-examples
 Finished translator/okasaki-examples                           4m31s   1GB
 Starting translator/other-examples
 Finished translator/other-examples                             2m08s   1GB
 Starting compiler/parsing/tests
 Finished compiler/parsing/tests                                  27s 568MB
 Starting compiler/inference/tests
 Finished compiler/inference/tests                              7m49s   5GB
 Starting compiler/bootstrap/translation
 Finished compiler/bootstrap/translation                     2h43m12s  52GB
 Starting unverified/sexpr-bootstrap/x64/64
 Finished unverified/sexpr-bootstrap/x64/64                    12m02s   8GB
 Starting unverified/sexpr-bootstrap/x64/32
 Finished unverified/sexpr-bootstrap/x64/32                     9m53s   8GB
 Starting compiler/benchmarks
 Finished compiler/benchmarks                                      1s  24MB
 Starting compiler/bootstrap/compilation/x64/64
 Finished compiler/bootstrap/compilation/x64/64             13h36m40s  64GB
 Starting compiler/bootstrap/compilation/x64/64/proofs
 Finished compiler/bootstrap/compilation/x64/64/proofs          3m03s  12GB
 Starting compiler/bootstrap/compilation/x64/32
 Finished compiler/bootstrap/compilation/x64/32             11h25m57s  64GB
 Starting compiler/bootstrap/compilation/x64/32/proofs
 Finished compiler/bootstrap/compilation/x64/32/proofs          2m52s  11GB
 Starting compiler/bootstrap/compilation/ag32/32
 Finished compiler/bootstrap/compilation/ag32/32            11h30m41s  64GB
 Starting compiler/bootstrap/compilation/ag32/32/proofs
 Finished compiler/bootstrap/compilation/ag32/32/proofs        12m43s  23GB
 SUCCESS