Job 2192

CakeML:6ff7f36f3d121f06266c2280d68bf9e2dd52a6de
  Update perms_ok proofs [Aug 17 19:40:01]
#969 (issue-916)
Merging into:5c1bae6b33cf93343962f658faefefee12f74a9c
  Merge pull request #965 from CakeML/explorer [Aug 10 04:53:38]
HOL:c505f5761a545a06f2a80c536262e608021c3955
  Fix the proof of zagier_fix in experimental kernel. [Aug 17 06:53:11]
Machine:oven1 5.19.0-46-generic x86_64 GNU/Linux

Aug 18 20:29:01 Claimed job
Aug 18 20:29:03 Reusing HOL
Aug 18 20:29:18 Starting developers
Aug 18 20:29:22 Finished developers                                               3s 108MB
Aug 18 20:29:22 Starting developers/bin
Aug 18 20:29:29 Finished developers/bin                                           7s   1GB
Aug 18 20:29:30 Starting compiler/proofs Aug 18 20:29:30 6528s