Laurent Indermuehle e99555f237 [CI] add way to trigger workflow manually ... Useful in the case we don't modifiy any files in the paths: sections of the push event.		2025-03-06 12:01:13 +01:00
..
workflows	[CI] add way to trigger workflow manually	2025-03-06 12:01:13 +01:00
patchback.yml	Setup patchback bot config file (resolves #310) (#311)	2022-03-17 09:30:29 +01:00