back to ubuntu 18.04

14 jobs for docker in 11 minutes and 42 seconds (queued for 3 seconds)