Jenkins maintenance Thursday 2018-11-15 @ ~1900-2000

The EC2 instances (VMs) which the DM jenkins service is primarily running upon need to be re-provisioning in order to update to a a newer instance type which is, is counter intuitively, both slightly faster and less expensive. The beginning/end of the maintenance period will be announced on #dm-jenkins.

The maintenance, which took place a bit earlier than originally planned, has been completed.