Mathis Logemann 13c4719912 [CI] only run on master pushes and all PRs		2022-08-17 18:26:19 +02:00
..
workflows	[CI] only run on master pushes and all PRs	2022-08-17 18:26:19 +02:00