Overview

Job 2106

CakeML:a4a3f0b318b9eef32403ec5fbcc2157b8da0f120
  Merge pull request #930 from CakeML/print_app_list
HOL:ff6e145992db7e75ae6798231ce09c3cc03538df
  Modernise a theorem's syntax
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

 Claimed job