Job 3451

CakeML:f6325e1f9f67f0e6b4633f7a0e9891921d2ba634
  Fix a parser bug and add some static examples [Aug 14 09:04:45]
#1450 (IlmariReissumies:exceptionSemantics)
Merging into:0fe74ee25d03a7d6d72892927edcaf5ae9677e10
  BVI inline (#1445) [Aug 12 13:47:53]
HOL:fac52534ceb43806d35b11f91dafd558266bcbb6
  Remove yet one more same_const instance in Compute.sml [Aug 02 03:13:23]
Machine:timtam

Aug 14 09:30:16 Claimed job
Aug 14 09:30:20 Reusing HOL
Aug 14 09:30:28 Starting developers
Aug 14 09:30:34 Finished developers                                               4s 237MB
Aug 14 09:30:35 Starting developers/bin
Aug 14 09:30:38 Finished developers/bin                                           2s  93MB
Aug 14 09:30:39 Starting misc
Aug 14 09:31:25 Finished misc                                                    44s   1GB
Aug 14 09:31:25 Starting compiler/proofs
Aug 14 10:43:38 Finished compiler/proofs                                    1h12m12s  11GB
Aug 14 10:43:39 Starting compiler/bootstrap/compilation/x64/64/proofs Aug 14 10:43:39 24639s