diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml index 4d2eece1..959f758e 100644 --- a/.github/workflows/makefile.yml +++ b/.github/workflows/makefile.yml @@ -1,10 +1,13 @@ name: Makefile CI on: - push: - branches: [ "main" ] - pull_request: - branches: [ "main" ] + # Run using manual triggers from GitHub UI: + # https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow + workflow_dispatch: {} + # Run on pushes: + push: {} + # Run on every pull request: + pull_request: {} jobs: build: