Allow option to dispatch CI manually

fjtrujy · fjtrujy · commit bd1cc74dafaa · 2024-01-07T19:33:46.000+01:00
diff --git a/.github/workflows/compilation.yml b/.github/workflows/compilation.yml
@@ -5,6 +5,7 @@ on:
   pull_request:
   repository_dispatch:
     types: [run_build, run_release]
+  workflow_dispatch: {}
 
 jobs:
   build:
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -6,6 +6,7 @@ on:
       - main
     tags:
       - v*
+  workflow_dispatch: {}
 
 jobs:
   build:

-Original file line number
+Diff line change
       - main
     tags:
       - v*
 +  workflow_dispatch: {}
 jobs:
   build: