Overview

Job 2113

CakeML:4a59cb87727545e08ff4cf881911dcf91010657a
  Merge pull request #927 from CakeML/translation_update
HOL:ff6e145992db7e75ae6798231ce09c3cc03538df
  Modernise a theorem's syntax
Machine:pavlova

 Claimed job
 Building+HOL
 FAILED:+building+HOL