Vadim Zeitlin 5d9bbea510 Default to Ubuntu 20.04 if OS is not specified ... This makes the matrix more compact, as we don't need to specify the OS for the majority of the field (all of them now, but we'll add builds using "macos-N" later, so it will still be necessary for some of them), and the builds more stable than using which the current latest Ubuntu version is.		2021-09-30 17:00:24 +02:00
..
workflows	Default to Ubuntu 20.04 if OS is not specified	2021-09-30 17:00:24 +02:00