diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 13b3edca1..2ab665c37 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -3,9 +3,11 @@ on: push: branches: - master + - 'ci/**' # Allow automatic CI testing on ci/* branches pull_request: branches: - master + workflow_dispatch: # Allow manual triggering on any branch # Runs basic configure, make and make check. jobs: