Khaled Hosny cad753e20f [ci] Use known working Ubuntu version ... GitHub Actions seems to be moving ubuntu-latest from ubuntu-18.04 to ubuntu-20.04, but gcovr is broken for us in the new version.		2021-03-16 01:11:12 +02:00
..
workflows	[ci] Use known working Ubuntu version	2021-03-16 01:11:12 +02:00