Play Parts Unlimited HOL - Continuous Integration