CI: github: allow to run the Illumos job manually

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
index 0259bf1d519aca8d4e56a216606db4fa8600ba85..0d4d5a3de0f48c06309f8567ea6631d9b085fbfb 100644 (file)
--- 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: