add optional manual dispatch of actions

2023-08-13 23:39:37 +00:00
parent b51c63b9f2
commit 223a67048a
1 changed files with 2 additions and 0 deletions
@@ -8,6 +8,8 @@ on:
  pull_request:
    types: [opened, synchronize, reopened]
    paths: ['**/Makefile', '**/*.c', '**/*.h']
+  # for manual triggering
+  workflow_dispatch:

 env:
  BRANCH_NAME: ${{ github.head_ref || github.ref_name }}