Overview

Job 1274

CakeML:b8bdd1f7605321c03123d6e9b61c29ab779d663a
  Fix another SORTED_APPEND issue
HOL:511e4a42e7cb57caffe27cfa441825baa744d7ec
  Update src for strip_binop change
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

 Claimed job
 Reusing HOL