Max Kellermann d29e1544bf .github/workflows/build.yml: explicitly select ubuntu-20.04 ... According to https://github.com/actions/virtual-environments "ubuntu-latest" maps to "ubuntu-20.04", even though "ubuntu-22.04" is also available. Since our job description is very specific to "ubuntu-20.04", let's select this explicitly.		2022-07-13 12:37:02 +02:00
..
build.yml	.github/workflows/build.yml: explicitly select ubuntu-20.04	2022-07-13 12:37:02 +02:00