Overview

Job 478

CakeML:1eac9d010b210e5bbcc05c5a01b6e76b19804dd3
  FFI: create files with sensible (0644) permissions
#525 (file-create-permissions)
Merging into:66a35311787bb43f72e8e758209a4745f288cdfe
  Fix a bug in PrettyPrinter.fromWord64
HOL:7323105f50960bdec1b33c513576e5d1d313b62f
  Document match_term when vars with same names have different types
Machine:cakeml1794 4.4.0-98-generic x86_64 GNU/Linux

 Claimed job