ci: use ubuntu-20.04
for the Linux build
#1983
Merged
ubuntu-20.04
for the Linux build
#1983