Tim 2872548075 GitHub actions: update to Ubuntu 22.04 (#240) ... The Ubuntu 18.04 CI image is deprecated: https://github.com/actions/runner-images/issues/6002 Switch to the new 22.04 image instead.		2022-10-14 16:05:53 +02:00
..
ci.yaml	GitHub actions: update to Ubuntu 22.04 (#240)	2022-10-14 16:05:53 +02:00