diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml index 7a72d1d9..082b6e9d 100644 --- a/.github/workflows/makefile.yml +++ b/.github/workflows/makefile.yml @@ -1,10 +1,12 @@ name: Makefile CI -on: +on: push: branches: [ "master" ] pull_request: branches: [ "master" ] + workflow_dispatch: + jobs: build: