William Lallemand dee3f4b3ff CI: github: add 'workflow_dispatch' on remaining build jobs
Add 'workflow_dispatch' on the remaining scheduled build jobs that does
not have it.

This keyword allows to start manually a job from the "Actions" interface
in github.
2024-11-25 14:03:13 +01:00
..
2024-11-25 11:14:33 +01:00
2023-09-06 17:46:02 +02:00
2024-06-03 11:59:07 +02:00