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