Job 2056

CakeML:68d5c7577d631f58bb40f40e1ebfe49873f26a38
  Merge pull request #915 from CakeML/translator-fix [Dec 03 06:09:07]
HOL:cf37a2b2a4f27c3748bb4bb8738c08373abde4c3
  Update PropLogic example to use modern syntax [Nov 30 09:32:01]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Dec 03 08:00:38 Claimed job
Dec 03 08:00:40 Reusing HOL
Dec 03 08:01:19 Starting developers
Dec 03 08:01:24 Finished developers                                               5s 116MB
Dec 03 08:01:24 Starting developers/bin
Dec 03 08:01:31 Finished developers/bin                                           6s   1GB
Dec 03 08:01:31 Starting compiler/proofs
Dec 04 12:07:02 Resuming compiler/proofs
Dec 04 12:26:06 Resuming compiler/proofs