Job 72

CakeML:008597b85bb84ef6c15448926ce668b6255845ff
  Improve scripts by fixing ShellCheck warnings [Dec 06 14:28:41]
#403 (scripts)
Merging into:c760e35a371970c83a07a154bb67d4b842115a1f
  Merge pull request #399 from CakeML/silent-ffi-on-gc [Dec 05 07:16:31]
HOL:1e9e2856a1cfb8567d3cba5aa2066e67a4507ecd
  Make sure recent new constants (from CakeML) are in compsets [Dec 06 05:04:45]
Machine:cakeml1798 4.4.0-98-generic x86_64 GNU/Linux

Dec 06 22:09:50 Claimed job
Dec 06 22:10:00 Building HOL