Jan Klattenhoff 9b2fd72341 ci: remove push trigger from quality check workflow		2024-09-25 09:25:01 +02:00
..
workflows	ci: remove push trigger from quality check workflow	2024-09-25 09:25:01 +02:00