martin e4857d3782 added pull_request as CI trigger		2023-12-03 15:07:20 +01:00
..
workflows	added pull_request as CI trigger	2023-12-03 15:07:20 +01:00