Merge pull request #13 from fjtrujy/manual_workflow

Allow option to dispatch CI manually

Author: fjtrujy

.github/workflows/compilation.yml

@@ -6,6 +6,7 @@ on:
       - main
     tags:
       - v*
+  workflow_dispatch: {}
 
 jobs:
   build: