Michael Kriese 34c05f6ad0 ci: fix input		2023-12-08 09:50:38 +01:00
..
actions	ci: switch to actions (#234)	2023-12-07 15:56:12 +00:00
workflows	ci: fix input	2023-12-08 09:50:38 +01:00