avoid dup github workflows (#937)

Co-authored-by: burnettk <burnettk@users.noreply.github.com>
This commit is contained in:
Kevin Burnett 2024-02-01 09:28:56 -08:00 committed by GitHub
parent 6a3f8a212f
commit 5fa79a8ec6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1,8 +1,12 @@
name: Tests
on:
- push
- pull_request
push:
# hitting just main on push suffices to avoid duplicate runs for PRs, since PRs never update main.
# more ideas at https://github.com/orgs/community/discussions/26940 including branches-ignore
branches:
- main
pull_request:
defaults:
run: