diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index a954469..13b5be4 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -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 }}