Job 2325

CakeML:25dd2bb819331abcbb377774dbaf2d4d93371721
  update other files using b_input [Mar 06 02:20:49]
#984 (compression)
Merging into:865f0382dcffc38919b6d1ae355d103e3f570dc5
  Merge pull request #982 from CakeML/contexts [Mar 03 14:31:28]
HOL:f05effb80e1f085268cf2c2e77ea27f2dfcc707b
  add few finite map theorems [Feb 29 22:43:20]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Mar 06 04:41:14 Claimed job
Mar 06 04:41:21 Building HOL
Mar 06 04:54:08 Starting developers
Mar 06 04:54:14 Finished developers                                               5s  84MB
Mar 06 04:54:14 Starting developers/bin
Mar 06 04:54:20 Finished developers/bin                                           5s   1GB
Mar 06 04:54:20 Starting compiler/proofs
Mar 06 06:48:32 Finished compiler/proofs                                    1h54m12s  16GB
Mar 06 06:48:32 Starting compiler/bootstrap/translation Mar 06 06:48:32 32417s