OverviewCakeML:9c2de3ee5f524d70e727448b250ce0f8f085ee53
Merge pull request #820 from CakeML/fix-export-x64-macos
HOL:ab03cec5200c8b23f9ba60c5cea958cfcd0cd158
Make all string overloads "inferior"
Machine:oven3 4.19.67.1.amd64-smp
Claimed job
Reusing HOL
Starting developers
Finished developers 7s 93MB
Starting developers/bin
Finished developers/bin 13s 1GB
Starting semantics/ffi
Finished semantics/ffi 25s 267MB
Starting semantics
Finished semantics 2m52s 1GB
Starting semantics/proofs
Finished semantics/proofs 7m15s 972MB
Starting semantics/alt_semantics
Finished semantics/alt_semantics 18s 383MB
Starting semantics/alt_semantics/proofs
Finished semantics/alt_semantics/proofs 4m33s 984MB
Starting basis/pure
Finished basis/pure 1m45s 880MB
Starting translator
Finished translator 5m39s 1GB
Starting compiler/parsing
Finished compiler/parsing 2m27s 2GB
Starting characteristic
Finished characteristic 12m37s 2GB
Starting translator/monadic
Finished translator/monadic 3m20s 1GB
Starting basis
Finished basis 1h34m20s 13GB
Starting compiler/inference
Finished compiler/inference 2m10s 1GB
Starting compiler/backend/reg_alloc
Finished compiler/backend/reg_alloc 2m00s 1GB
Starting compiler/backend/gc
Finished compiler/backend/gc 6m28s 2GB
Starting compiler/backend
Finished compiler/backend 9m22s 3GB
Starting compiler/encoders/asm
Finished compiler/encoders/asm 47s 802MB
Starting compiler/encoders/x64
Finished compiler/encoders/x64 54s 1GB
Starting compiler/encoders/arm7
Finished compiler/encoders/arm7 1m55s 697MB
Starting compiler/encoders/arm8
Finished compiler/encoders/arm8 27s 691MB
Starting compiler/encoders/mips
Finished compiler/encoders/mips 37s 986MB
Starting compiler/encoders/riscv
Finished compiler/encoders/riscv 30s 791MB
Starting compiler/encoders/ag32
Finished compiler/encoders/ag32 37s 603MB
Starting compiler/backend/x64
Finished compiler/backend/x64 40s 1GB
Starting compiler/backend/arm7
Finished compiler/backend/arm7 45s 1GB
Starting compiler/backend/arm8
Finished compiler/backend/arm8 40s 1GB
Starting compiler/backend/mips
Finished compiler/backend/mips 43s 1GB
Starting compiler/backend/riscv
Finished compiler/backend/riscv 39s 1GB
Starting compiler/backend/ag32
Finished compiler/backend/ag32 2m27s 1GB
Starting compiler/parsing/proofs
Finished compiler/parsing/proofs 12m05s 963MB
Starting compiler/inference/proofs
Finished compiler/inference/proofs 5m26s 1GB
Starting compiler/backend/semantics
Finished compiler/backend/semantics 1h01m45s 2GB
Starting compiler/backend/reg_alloc/proofs
Finished compiler/backend/reg_alloc/proofs 7m41s 926MB
Starting compiler/backend/proofs
Finished compiler/backend/proofs 1h40m25s 12GB
Starting compiler/encoders/x64/proofs
Finished compiler/encoders/x64/proofs 21m26s 4GB
Starting compiler/encoders/arm7/proofs
Finished compiler/encoders/arm7/proofs 30m00s 4GB
Starting compiler/encoders/arm8/proofs
Finished compiler/encoders/arm8/proofs 14m51s 1GB
Starting compiler/encoders/mips/proofs
Finished compiler/encoders/mips/proofs 22m16s 2GB
Starting compiler/encoders/riscv/proofs
Finished compiler/encoders/riscv/proofs 20m09s 1GB
Starting compiler/encoders/ag32/proofs
Finished compiler/encoders/ag32/proofs 5m42s 1GB
Starting compiler/backend/x64/proofs
Finished compiler/backend/x64/proofs 46s 1GB
Starting compiler/backend/arm7/proofs
Finished compiler/backend/arm7/proofs 48s 1GB
Starting compiler/backend/arm8/proofs
Finished compiler/backend/arm8/proofs 43s 1GB
Starting compiler/backend/mips/proofs
Finished compiler/backend/mips/proofs 47s 1GB
Starting compiler/backend/riscv/proofs
Finished compiler/backend/riscv/proofs 46s 1GB
Starting compiler/backend/ag32/proofs
Finished compiler/backend/ag32/proofs 27m38s 2GB
Starting compiler/proofs
Finished compiler/proofs 3m52s 3GB
Starting candle/set-theory
Finished candle/set-theory 1m01s 721MB
Starting candle/syntax-lib
Finished candle/syntax-lib 23s 729MB
Starting candle/standard/syntax
Finished candle/standard/syntax 3m51s 943MB
Starting candle/standard/semantics
Finished candle/standard/semantics 3m50s 1GB
Starting candle/standard/monadic
Finished candle/standard/monadic 3m37s 1GB
Starting candle/standard/ml_kernel
Finished candle/standard/ml_kernel 11m12s 5GB
Starting candle/overloading/syntax
Finished candle/overloading/syntax 6m45s 1GB
Starting candle/overloading/semantics
Finished candle/overloading/semantics 27m07s 3GB
Starting characteristic/examples
Finished characteristic/examples 2m39s 3GB
Starting tutorial/solutions
Finished tutorial/solutions 33m31s 8GB
Starting translator/monadic/examples
Finished translator/monadic/examples 5m32s 3GB
Starting examples
Finished examples 15m15s 3GB
Starting examples/compilation/x64
Finished examples/compilation/x64 5h12m14s 14GB
Starting examples/compilation/x64/proofs
Finished examples/compilation/x64/proofs 3m21s 3GB
Starting examples/compilation/ag32
Finished examples/compilation/ag32 1h14m16s 7GB
Starting examples/compilation/ag32/proofs
Finished examples/compilation/ag32/proofs 1m52s 3GB
Starting examples/cost
Finished examples/cost 1h50m10s 8GB
Starting examples/lpr_checker
Finished examples/lpr_checker 8m08s 2GB
Starting examples/lpr_checker/compilation
Finished examples/lpr_checker/compilation 35m23s 15GB
Starting examples/lpr_checker/compilation/proofs
Finished examples/lpr_checker/compilation/proofs 1m24s 3GB
Starting examples/lpr_checker/array
Finished examples/lpr_checker/array 31m59s 4GB
Starting examples/lpr_checker/array/compilation
Finished examples/lpr_checker/array/compilation 42m41s 12GB
Starting examples/lpr_checker/array/compilation/proofs
Finished examples/lpr_checker/array/compilation/proofs 1m38s 4GB
Starting examples/opentheory
Finished examples/opentheory 20m03s 4GB
Starting examples/opentheory
Finished examples/opentheory 2s 33MB
Starting examples/opentheory/compilation
Finished examples/opentheory/compilation 1h08m17s 19GB
Starting examples/opentheory/compilation/proofs
Finished examples/opentheory/compilation/proofs 1m25s 4GB
Starting examples/opentheory/compilation/ag32
Finished examples/opentheory/compilation/ag32 1h12m57s 15GB
Starting examples/opentheory/compilation/ag32/proofs
Finished examples/opentheory/compilation/ag32/proofs 3m17s 6GB
Starting translator/okasaki-examples
Finished translator/okasaki-examples 8m46s 1GB
Starting translator/other-examples
Finished translator/other-examples 3m50s 1GB
Starting compiler/parsing/tests
Finished compiler/parsing/tests 1m01s 676MB
Starting compiler/inference/tests
Finished compiler/inference/tests 15m06s 6GB
Starting compiler/bootstrap/translation
Finished compiler/bootstrap/translation 5h18m36s 55GB
Starting unverified/sexpr-bootstrap/x64/64
Finished unverified/sexpr-bootstrap/x64/64 24m08s 9GB
Starting unverified/sexpr-bootstrap/x64/32
Finished unverified/sexpr-bootstrap/x64/32 21m05s 8GB
Starting compiler/benchmarks
Finished compiler/benchmarks 3s 32MB
Starting compiler/bootstrap/compilation/x64/64
Finished compiler/bootstrap/compilation/x64/64 24h14m09s 73GB
Starting compiler/bootstrap/compilation/x64/64/proofs
Finished compiler/bootstrap/compilation/x64/64/proofs 4m32s 19GB
Starting compiler/bootstrap/compilation/x64/32
Finished compiler/bootstrap/compilation/x64/32 22h14m42s 89GB
Starting compiler/bootstrap/compilation/x64/32/proofs
Finished compiler/bootstrap/compilation/x64/32/proofs 4m26s 15GB
Starting compiler/bootstrap/compilation/ag32/32
Finished compiler/bootstrap/compilation/ag32/32 25h11m40s 109GB
Starting compiler/bootstrap/compilation/ag32/32/proofs
Finished compiler/bootstrap/compilation/ag32/32/proofs 32m32s 46GB
SUCCESS