the main distribution is now 20.04

2 jobs for master in 9 minutes and 56 seconds (queued for 5 seconds)
Status Name Job ID Coverage
  Test
passed build #130035

00:09:56

passed format #130034

00:00:10