Update to 20.04

2 jobs for 1-update-ubuntu-20-04 in 4 minutes and 38 seconds (queued for 6 seconds)