CakeML Regression Test

Job 1

CakeML:70a86bdc3783304ec86bf7c396adc65a13457d70
  Implement worker half of regression test infrastructure [Nov 08 00:00:00]
HOL:2adb6f47f499dadda21e2485c46a1df4a4e3e326
  Fix changing endianness. [Nov 07 00:00:00]
Machine:gemma 4.13.11-gnu-1 x86_64 GNU/Linux

Nov 08 05:41:02 Claimed job
Nov 08 05:50:27 Starting to build semantics/ffi
Nov 08 05:50:40 Finished semantics/ffi:       11s   0kB
Nov 08 05:50:41 Starting to build semantics
Nov 08 05:52:09 Finished semantics:     1m26s   0kB
Nov 08 05:52:10 Starting to build semantics/proofs
Nov 08 05:54:29 Finished semantics/proofs:     2m17s   0kB
Nov 08 05:54:30 Starting to build basis/pure
Nov 08 05:55:12 Finished basis/pure:       40s   0kB
Nov 08 05:55:13 Starting to build translator
Nov 08 05:59:52 Finished translator:     4m38s   0kB
Nov 08 05:59:53 Starting to build compiler/parsing
Nov 08 06:01:45 Finished compiler/parsing:     1m50s   0kB
Nov 08 06:02:06 Starting to build characteristic
Nov 08 06:04:49 Finished characteristic:     2m41s   0kB
Nov 08 06:04:50 Starting to build basis
Nov 08 06:24:11 Finished basis:    19m00s   0kB
Nov 08 06:24:13 Starting to build translator/monadic
Nov 08 06:26:25 Finished translator/monadic:     2m11s   0kB
Nov 08 06:26:26 Starting to build compiler/inference
Nov 08 06:28:16 Finished compiler/inference:     1m48s   0kB
Nov 08 06:28:17 Starting to build compiler/backend/reg_alloc
Nov 08 06:28:48 Finished compiler/backend/reg_alloc:       30s   0kB
Nov 08 06:28:49 Starting to build compiler/backend/gc
Nov 08 06:39:26 Finished compiler/backend/gc:    10m35s   0kB
Nov 08 06:39:27 Starting to build compiler/backend
Nov 08 06:39:29 Finished compiler/backend:        0s   0kB
Nov 08 06:39:31 Starting to build compiler/encoders/asm
Nov 08 06:39:32 Finished compiler/encoders/asm:        0s   0kB
Nov 08 06:39:33 Starting to build compiler/encoders/x64
Nov 08 06:40:21 Finished compiler/encoders/x64:       47s   0kB
Nov 08 06:40:23 Starting to build compiler/encoders/arm6
Nov 08 06:42:29 Finished compiler/encoders/arm6:     2m04s   0kB
Nov 08 06:42:30 Starting to build compiler/encoders/arm8
Nov 08 06:43:02 Finished compiler/encoders/arm8:       31s   0kB
Nov 08 06:43:04 Starting to build compiler/encoders/mips
Nov 08 06:43:59 Finished compiler/encoders/mips:       54s   0kB
Nov 08 06:44:00 Starting to build compiler/encoders/riscv
Nov 08 06:45:06 Finished compiler/encoders/riscv:     1m04s   0kB
Nov 08 06:45:07 Starting to build compiler/backend/x64
Nov 08 06:45:34 Finished compiler/backend/x64:       26s   0kB
Nov 08 06:45:35 Starting to build compiler/backend/arm6
Nov 08 06:46:05 Finished compiler/backend/arm6:       28s   0kB
Nov 08 06:46:06 Starting to build compiler/backend/arm8
Nov 08 06:46:34 Finished compiler/backend/arm8:       27s   0kB
Nov 08 06:46:36 Starting to build compiler/backend/mips
Nov 08 06:47:04 Finished compiler/backend/mips:       27s   0kB
Nov 08 06:47:06 Starting to build compiler/backend/riscv
Nov 08 06:47:33 Finished compiler/backend/riscv:       25s   0kB
Nov 08 06:47:34 Starting to build compiler/parsing/proofs
Nov 08 06:55:26 Finished compiler/parsing/proofs:     7m51s   0kB
Nov 08 06:55:27 Starting to build compiler/inference/proofs
Nov 08 07:20:18 Starting to build compiler/parsing/proofs
Nov 08 10:31:59 Starting to build compiler/backend/semantics
Nov 08 10:45:04 Finished compiler/backend/semantics:    13m03s   0kB
Nov 08 10:45:05 Starting to build compiler/backend/reg_alloc/proofs
Nov 08 10:45:47 Finished compiler/backend/reg_alloc/proofs:       40s   0kB
Nov 08 10:45:48 Starting to build compiler/backend/proofs
Nov 08 11:38:28 Finished compiler/backend/proofs:    52m38s   0kB
Nov 08 11:38:29 Starting to build compiler/encoders/x64/proofs
Nov 08 11:47:18 Finished compiler/encoders/x64/proofs:     8m47s   0kB
Nov 08 11:47:19 Starting to build compiler/encoders/arm6/proofs
Nov 08 11:56:53 Finished compiler/encoders/arm6/proofs:     9m32s   0kB
Nov 08 11:56:54 Starting to build compiler/encoders/arm8/proofs
Nov 08 12:03:48 Finished compiler/encoders/arm8/proofs:     6m53s   0kB
Nov 08 12:03:49 Starting to build compiler/encoders/mips/proofs
Nov 08 12:13:48 Finished compiler/encoders/mips/proofs:     9m57s   0kB
Nov 08 12:13:49 Starting to build compiler/encoders/riscv/proofs
Nov 08 12:24:24 Finished compiler/encoders/riscv/proofs:    10m34s   0kB
Nov 08 12:24:25 Starting to build compiler/backend/x64/proofs
Nov 08 12:24:59 Finished compiler/backend/x64/proofs:       32s   0kB
Nov 08 12:25:00 Starting to build compiler/backend/arm6/proofs
Nov 08 12:25:39 Finished compiler/backend/arm6/proofs:       37s   0kB
Nov 08 12:25:40 Starting to build compiler/backend/arm8/proofs
Nov 08 12:26:16 Finished compiler/backend/arm8/proofs:       34s   0kB
Nov 08 12:26:37 Starting to build compiler/backend/mips/proofs
Nov 08 12:27:33 Finished compiler/backend/mips/proofs:       34s   0kB
Nov 08 12:27:34 Starting to build compiler/backend/riscv/proofs
Nov 08 12:28:09 Finished compiler/backend/riscv/proofs:       33s   0kB
Nov 08 12:28:10 Starting to build compiler/proofs
Nov 08 12:29:38 Finished compiler/proofs:     1m26s   0kB
Nov 08 12:29:39 Starting to build candle/set-theory
Nov 08 12:30:43 Finished candle/set-theory:     1m03s   0kB
Nov 08 12:30:44 Starting to build candle/syntax-lib
Nov 08 12:30:57 Finished candle/syntax-lib:       11s   0kB
Nov 08 12:30:58 Starting to build candle/standard/syntax
Nov 08 12:32:55 Finished candle/standard/syntax:     1m55s   0kB
Nov 08 12:32:56 Starting to build candle/standard/semantics
Nov 08 12:34:36 Finished candle/standard/semantics:     1m39s   0kB
Nov 08 12:34:57 Starting to build candle/standard/monadic
Nov 08 12:36:46 Finished candle/standard/monadic:     1m47s   0kB
Nov 08 12:36:47 Starting to build candle/standard/ml_kernel
Nov 08 12:44:44 Finished candle/standard/ml_kernel:     7m55s   0kB
Nov 08 12:45:05 Starting to build candle/standard/opentheory
Nov 08 12:45:24 Finished candle/standard/opentheory:       18s   0kB
Nov 08 12:45:26 Starting to build characteristic/examples
Nov 08 12:46:48 Finished characteristic/examples:     1m20s   0kB
Nov 08 12:46:49 Starting to build tutorial/solutions
Nov 08 13:10:39 Finished tutorial/solutions:    23m48s   0kB
Nov 08 13:10:40 Starting to build examples
Nov 08 13:17:43 Finished examples:     7m01s   0kB
Nov 08 13:17:44 Starting to build examples/compilation
Nov 08 16:28:37 Finished examples/compilation:  3h10m50s   0kB
Nov 08 16:28:38 Starting to build examples/compilation/proofs
Nov 08 16:34:12 Finished examples/compilation/proofs:     5m32s   0kB
Nov 08 16:34:33 Starting to build compiler/benchmarks
Nov 08 17:52:21 Finished compiler/benchmarks:  1h17m47s   0kB
Nov 08 17:52:23 Starting to build translator/okasaki-examples
Nov 08 17:57:13 Finished translator/okasaki-examples:     4m48s   0kB
Nov 08 17:57:14 Starting to build translator/other-examples
Nov 08 18:00:36 FAILED: building translator/other-examples