diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8647d9d..3728aee 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,14 +2,15 @@ name: CI on: push: - branches: [ main, develop ] + branches: [ main ] pull_request: - branches: [ main, develop ] + branches: [ main ] # Push and pull_request both arrive by webhook, so a dropped delivery leaves a # commit with no run at all -- which reads the same as a commit that passed. - # Dispatch re-runs this against any ref on demand. + # Dispatch re-runs this against any ref on demand -- a branch, or a tag when + # checking what a release actually built. # - # gh workflow run ci.yml --ref develop + # gh workflow run ci.yml --ref main workflow_dispatch: jobs: