CI for only PRs, not on push (#184)

* Only PR

* Changelog
pull/188/head
Bradley A. Thornton 2022-05-25 16:41:19 -07:00 committed by GitHub
parent 79a12c3c43
commit 6e25216d7a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 2 deletions

View File

@ -5,8 +5,6 @@ concurrency:
cancel-in-progress: true
on:
push:
branches: [main]
pull_request:
branches: [main]
workflow_dispatch:

View File

@ -0,0 +1,3 @@
---
trivial:
- Disable CI runs with push to main