Mirek Kratochvil b733d25732 Partially revert "fix the github pipeline" ... This reverts parts of commit e78346ca9b. Tbh no idea why I removed the triggers.		2022-05-09 20:58:44 +02:00
..
workflows	Partially revert "fix the github pipeline"	2022-05-09 20:58:44 +02:00