ci: simplify workflow triggers for push vs. PR

The CI/CD workflow will now run on any push, including one that will
later be used for a PR. This means running on `pull_request` is no
longer necessary, nor is filtering by branch.
This commit is contained in:
Christopher Willis-Ford 2023-11-15 14:18:00 -08:00
parent 6097d4f5cd
commit 4277c674f3

View file

@ -1,10 +1,8 @@
name: CI/CD name: CI/CD
on: on:
workflow_dispatch: # Allows you to run this workflow manually from the Actions tab
pull_request: # Runs whenever a pull request is created or updated
push: # Runs whenever a commit is pushed to the repository push: # Runs whenever a commit is pushed to the repository
branches: [master, tx-pull-manual] workflow_dispatch: # Allows you to run this workflow manually from the Actions tab
concurrency: concurrency:
group: "${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}" group: "${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}"