diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 81fedba..a756c17 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -5,6 +5,10 @@ on: branches: [main] pull_request: branches: [main] + # Allow manually triggering a run in the github ui. + # See: https://docs.github.com/en/actions/using-workflows/manually-running-a-workflow + workflow_dispatch: {} + jobs: # Do a build/compile smoke test build: