Job 3

CakeML:a580584f6755d3b703b68a58783047045206ff81
  Merge branch 'master' into term-not-eqtype [Nov 02 00:00:00]
#361 (term-not-eqtype)
Merging into: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 04:30:54 Claimed job
Nov 08 05:27:59 Starting to build semantics/ffi
Nov 08 05:28:44 Finished semantics/ffi:       44s   0kB
Nov 08 05:28:45 Starting to build semantics
Nov 08 05:30:28 Finished semantics:     1m41s   0kB
Nov 08 05:30:29 Starting to build semantics/proofs
Nov 08 05:32:49 Finished semantics/proofs:     2m19s   0kB
Nov 08 05:32:51 Starting to build basis/pure
Nov 08 05:36:57 Finished basis/pure:     4m04s   0kB
Nov 08 05:36:58 Starting to build translator
Nov 08 05:40:57 FAILED: building translator