Overview

Job 607

CakeML:583572eb9c634f521665ea7c32211eaa0d9072f2
  Fix mangled Theorem statement
#572 (cleanup)
Merging into:8b46c3a87cb343ec13b54a05bfb531841eb60955
  Fix bug in tag_name (picks an unused cons name)
HOL:0f41b430dba6521a505fd78da96fbf00252bfaa9
  Fix errors introduced by over-enthusiastic reformatting in 97b7d1900
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

 Claimed job
 Reusing HOL
 Starting developers
 Finished developers                                               0s  21MB
 Starting developers/bin
 Finished developers/bin                                          31s 201MB
 Starting semantics/ffi
 Finished semantics/ffi                                            8s 211MB
 Starting semantics
 Finished semantics                                             1m14s 867MB
 Starting semantics/proofs
 Finished semantics/proofs                                      3m01s   1GB
 Starting basis/pure