CI: github: allow to run the Illumos job manually

wlallemand · wlallemand · commit 079193e37540 · 2024-11-25T11:30:55.000+01:00
Add the "workflow_dispatch" option to the Illumos CI so it can be run
manually from the github actions page.
diff --git a/.github/workflows/illumos.yml b/.github/workflows/illumos.yml
@@ -3,6 +3,7 @@ name: Illumos
 on:
   schedule:
     - cron: "0 0 25 * *"
+  workflow_dispatch:
 
 jobs:
   gcc:
