Linux version needs to be set for github runners #42
Description
Looks like github recently changed the version of linux that is referred to by ubuntu-latest. We need to explicitly set 20.04.
{{ message }}
Looks like github recently changed the version of linux that is referred to by ubuntu-latest. We need to explicitly set 20.04.