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.
This commit is contained in:
Mahmoud Ben Hassine 2024-09-30 13:20:17 +02:00
parent 52e6ad848a
commit acdb1741f1
No known key found for this signature in database
GPG Key ID: 1E2DE50D3F9FB51D

View File

@ -1,6 +1,7 @@
name: CI/CD build
on:
workflow_dispatch:
push:
branches: [ "main" ]