Job 3

  Merge branch 'master' into term-not-eqtype
#361 (term-not-eqtype)
Merging into:70a86bdc3783304ec86bf7c396adc65a13457d70
  Implement worker half of regression test infrastructure
  Fix changing endianness.
Machine:gemma 4.13.11-gnu-1 x86_64 GNU/Linux

 Claimed job
 Starting to build semantics/ffi
 Finished semantics/ffi:       44s   0kB
 Starting to build semantics
 Finished semantics:     1m41s   0kB
 Starting to build semantics/proofs
 Finished semantics/proofs:     2m19s   0kB
 Starting to build basis/pure
 Finished basis/pure:     4m04s   0kB
 Starting to build translator
 FAILED: building translator