CakeML Regression Test

Job 2807

CakeML:83736089f5608443cd7f7c84d447c63a2a2e3437
  Merge pull request #1158 from CakeML/remove-set-skip [Apr 13 16:56:05]
HOL:48a676cadda70ad7fc2f6c7b17ecd434f84db113
  Fix more grammars [Apr 11 03:19:32]
Machine:pavlova

Apr 16 05:51:47 Claimed job
Apr 16 05:51:54 Reusing HOL
Apr 16 05:52:05 Starting developers
Apr 16 05:52:09 Finished developers                                               2s 127MB
Apr 16 05:52:10 Starting developers/bin
Apr 16 05:52:16 Finished developers/bin                                           5s 746MB
Apr 16 05:52:17 Starting misc
Apr 16 05:52:59 Finished misc                                                    41s   1GB
Apr 16 05:53:00 Starting compiler/proofs
Apr 16 07:33:10 Finished compiler/proofs                                    1h40m07s  39GB
Apr 16 07:33:11 Starting compiler/bootstrap/translation Apr 16 07:33:11 21726s