CakeML Regression Test

Job 2360

CakeML:9fa5ba7564cbadc002cc5a417efbaef6bd7ecc6b
  Fix 32-bit pancake translation [Mar 25 21:14:36]
#989 (pan_errors)
Merging into:77aba466f2652250e9b3dd44c55db74bdab6d392
  Add parameters to the scope-checker [Mar 27 13:07:18]
HOL:738ed9400c7d3bc2ca6b7cda70f65773c83b4c93
  Fix bug in SWAP_EXISTS_CONV (manifested in Cooper's d.p. in integer) [Apr 05 01:10:47]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Apr 06 05:17:01 Claimed job
Apr 06 05:17:07 Building HOL
Apr 06 05:30:12 Starting developers
Apr 06 05:30:17 Finished developers                                               5s 164MB
Apr 06 05:30:17 Starting developers/bin
Apr 06 05:30:23 Finished developers/bin                                           5s   1GB
Apr 06 05:30:24 Starting compiler/proofs
Apr 07 13:34:00 Resuming compiler/proofs