Job 492

CakeML:1eac9d010b210e5bbcc05c5a01b6e76b19804dd3
  FFI: create files with sensible (0644) permissions [Sep 13 00:50:17]
#525 (file-create-permissions)
Merging into:306e73e0ef0314393ecdbb996b50cf799375f15d
  Use Git's -C option [Sep 14 21:28:55]
HOL:2a42da875092fdec35e1cd69454995735c890117
  Merge pull request #590 from binghe/PSL.fix [Sep 20 03:54:57]
Machine:cakeml1794 4.4.0-98-generic x86_64 GNU/Linux

Sep 20 09:15:13 Claimed job
Sep 20 09:15:22 Building HOL
Sep 20 09:29:53 Starting developers/bin
Sep 20 23:10:15 Resuming developers/bin
Sep 20 23:12:13 Resuming developers/bin