Job 1847

CakeML:498dd0e9ae93ed6c0eede69f9637f40c88161f61
  Fix minor issue in FloVer's type abbreviations [Apr 06 09:00:36]
#865 (Iced_cake)
Merging into:4317d3f1cb4cafc7b1ea154c0e89e4dcae2700ba
  Update COPYING [Apr 04 06:16:57]
HOL:6d938663389537576efe0d6e2eeee81911702d3d
  Extend COPYRIGHT into 2022 [Apr 03 23:12:02]
Machine:oven3

Apr 06 09:34:38 Claimed job
Apr 06 09:34:54 Building HOL
Apr 06 09:54:56 Starting developers
Apr 06 09:55:05 Finished developers                                               8s 145MB
Apr 06 09:55:05 Starting developers/bin
Apr 06 09:55:19 Finished developers/bin                                          14s   1GB
Apr 06 09:55:19 Starting semantics/ffi
Apr 06 09:55:43 Finished semantics/ffi                                           23s 247MB
Apr 06 09:55:43 Starting semantics
Apr 06 10:01:02 Finished semantics                                             5m18s   1GB
Apr 06 10:01:02 Starting semantics/proofs
Apr 06 10:16:36 Finished semantics/proofs                                     15m33s   1GB
Apr 06 10:16:36 Starting semantics/alt_semantics
Apr 06 10:17:44 Finished semantics/alt_semantics                               1m08s 557MB
Apr 06 10:17:45 Starting semantics/alt_semantics/proofs
Apr 06 10:47:37 Finished semantics/alt_semantics/proofs                       29m52s   1GB
Apr 06 10:47:37 Starting basis/pure
Apr 06 10:54:17 Finished basis/pure                                            6m39s   1GB
Apr 06 10:54:17 Starting translator
Apr 06 10:57:31 FAILED: translator
Scanning [1m$(HOLDIR)/src/sort[0m
Scanning [1m$(HOLDIR)/src/string[0m
Scanning [1m$(HOLDIR)/src/n-bit[0m
Scanning [1m$(HOLDIR)/src/res_quan/src[0m
Scanning [1m$(HOLDIR)/src/quotient/src[0m
Scanning [1m$(HOLDIR)/src/transfer[0m
Scanning [1m$(HOLDIR)/src/pred_set/src/more_theories[0m
Scanning [1m$(HOLDIR)/src/finite_maps[0m
Scanning [1m$(HOLDIR)/examples/balanced_bst[0m
Scanning [1m$(HOLDIR)/examples/formal-languages[0m
Scanning [1m$(HOLDIR)/examples/formal-languages/context-free[0m
Scanning [1m$(HOLDIR)/examples/formal-languages/regular[0m
Scanning [1m$(HOLDIR)/src/coalgebras[0m
Scanning [1m$(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
Scanning [1m$(HOLDIR)/examples/machine-code/hoare-triple[0m
Scanning [1m$(CAKEMLDIR)/developers[0m
Scanning [1m$(CAKEMLDIR)/misc[0m
Scanning [1m$(CAKEMLDIR)/semantics/ffi[0m
Scanning [1m$(CAKEMLDIR)/semantics[0m
Scanning [1m$(CAKEMLDIR)/basis/pure[0m
Scanning [1m$(CAKEMLDIR)/semantics/proofs[0m
Scanned 23 directories
Finished $(CAKEMLDIR)/misc                                                                     (0.000s) 
Starting work on README.md
Starting work on ml_progTheory
README.md                                                                       translator  (0s)     OK
ml_progTheory                                                                   translator (44s)     OK
Starting work on ml_translatorTheory
ml_translatorTheory                                                             translator(141s)FAIL<1>
 Found near
   [
      can_pmatch_all_def,
      evaluate_def,
      compress_def,
      pmatch_def,
      pat_bindings_def,
      ...
      ]
 Uncaught exception: Fail "Static Errors"