Job 2299

CakeML:85f6656cc53ec1a72c2808e01f7dec102e8972df
  Merge pull request #980 from CakeML/xlrup [Feb 13 11:56:12]
HOL:c5f2bc287fa6507cfb3372b4b827105b9633636b
  Other cheatsheet additions: `iff_tac`/`eq_tac` and `ExclSF` [Feb 08 23:51:55]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Feb 14 10:10:45 Claimed job
Feb 14 10:10:47 Reusing HOL
Feb 14 10:11:29 Starting developers
Feb 14 10:11:34 Finished developers                                               5s 124MB
Feb 14 10:11:35 Starting developers/bin
Feb 14 10:11:41 Finished developers/bin                                           6s   1GB
Feb 14 10:11:41 Starting compiler/proofs Feb 14 10:11:41 6539s