Job 996

CakeML:fbc2434f0f9886f64789a6104b944347d4bd9d93
  Fix semantics/proofs for new drule behaviour [Aug 12 13:20:31]
#678 (fix-drule)
Merging into:980410c6c89921c2e8950a5127bd9f32791f50bf
  Fix more def_compte issues [Aug 05 04:31:17]
HOL:c4ffdebc24abcae15e664f9603d3f5ce699cfaed
  Fix proof broken by change to drule in 812a08a5a8 [Aug 11 09:47:03]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Aug 12 15:13:24 Claimed job
Aug 12 15:13:27 Reusing HOL
Aug 12 15:14:14 Starting developers
Aug 12 15:14:16 Finished developers                                               2s  20MB
Aug 12 15:14:16 Starting developers/bin
Aug 12 15:14:23 Finished developers/bin                                           6s 960MB
Aug 12 15:14:23 Starting semantics/ffi
Aug 12 15:14:33 Finished semantics/ffi                                           10s 208MB
Aug 12 15:14:33 Starting semantics
Aug 12 15:15:54 Finished semantics                                             1m20s   1GB
Aug 12 15:15:54 Starting semantics/proofs
Aug 12 15:18:55 Finished semantics/proofs                                      3m00s 922MB
Aug 12 15:18:55 Starting semantics/alt_semantics
Aug 12 15:19:03 Finished semantics/alt_semantics                                  7s 278MB
Aug 12 15:19:03 Starting semantics/alt_semantics/proofs
Aug 12 15:20:53 Finished semantics/alt_semantics/proofs                        1m49s 778MB
Aug 12 15:20:53 Starting basis/pure
Aug 12 15:24:31 Finished basis/pure                                            3m37s 806MB
Aug 12 15:24:31 Starting translator
Aug 12 15:26:18 Finished translator                                            1m46s   1GB
Aug 12 15:26:18 Starting compiler/parsing
Aug 12 15:27:15 Finished compiler/parsing                                        56s   2GB
Aug 12 15:27:15 Starting characteristic Aug 12 15:27:15 0s