Move some jobs to ubuntu 20.04
commit198ebcb8af454d1476fa1abf50bf719fe4917d81
authorJohnny Willemsen <jwillemsen@remedy.nl>
Tue, 9 Jun 2020 11:18:47 +0000 (9 13:18 +0200)
committerJohnny Willemsen <jwillemsen@remedy.nl>
Tue, 9 Jun 2020 11:18:47 +0000 (9 13:18 +0200)
tree947a125d868c5c075c9ea4098bb8e417e7cea5a7
parent154c43538b1f9993afdf4cfae39e81c9b1b990ad
Move some jobs to ubuntu 20.04

    * .github/workflows/linux.yml:
.github/workflows/linux.yml