Sergiu Deitsch 2115d9b590 ci: run linux workflow on ubuntu 22.04 (#885)		2023-01-01 18:08:53 +01:00
..
workflows	ci: run linux workflow on ubuntu 22.04 (#885)	2023-01-01 18:08:53 +01:00