Job 522

CakeML:0bca5648f09015518a7629441ff5c3e6174e3731
  Fix some things downstream of the tap changes. [Sep 20 15:16:47]
#526 (explorer)
Merging into:cc95061c249ee1e7010fa61ef0171faa133fc739
  Merge pull request #533 from CakeML/remove-cheats [Oct 09 12:51:31]
HOL:2b21ba94b82750c0305d602c746adbc223f4e3ca
  Merge pull request #595 from talsewell/perms [Oct 09 22:42:13]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Oct 10 06:56:09 Claimed job