only run for push on main, or for pr

This commit is contained in:
2023-10-21 13:06:42 -07:00
parent 05b6ffc807
commit 55ec00d1fb

View File

@ -1,7 +1,8 @@
name: checks
on:
# XXX only run for pushes to main, or for pr
- push
branches:
- main
- pull_request
jobs: