Thomas Rubini 6ff7967d90 add more triggers to CI		2022-12-12 22:36:42 +01:00
..
workflows	add more triggers to CI	2022-12-12 22:36:42 +01:00