Mahmoud Ben Hassine acdb1741f1 Add workflow_dispatch trigger to the CI build ... This is needed to manually trigger the workflow without having to push a commit to the main branch. The typical use case is when an upstream dependency causes a build failure in the latest snapshot and we want to test the fix by triggering a new build on github.		2024-09-30 13:20:17 +02:00
..
ISSUE_TEMPLATE	Update community files	2023-03-23 13:24:02 +01:00
workflows	Add workflow_dispatch trigger to the CI build	2024-09-30 13:20:17 +02:00
PULL_REQUEST_TEMPLATE.md	Fix references to the old master branch with the new branch name	2021-08-17 21:34:55 +02:00