Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
github/workflows/ci-debian: add workflow_dispatch
The `workflow_dispatch` allows to manually trigger the CI, in particular on a specific branch of the CI repository. Signed-off-by: Paul Le Guen de Kerneizon <[email protected]>
- Loading branch information