Overview

Job 469

CakeML:747a323c230d3c8f26d9ff8769b6fba15056be00
  Update HOL_STORE precondition theorem
#511 (argparse)
Merging into:f6d8ed2ee71091a75c6c7c634490380e8abe11a9
  Fix typo
HOL:a03a2b6709730d61dfba45737b3d08b1782b0b8c
  Fix error where record type can't be inferred by Moscow ML
Machine:44432ca475b4 4.14.16-200.fc26.x86_64 x86_64 GNU/Linux

 Claimed job
 Building HOL