purescript / registry-dev

Development work related to the PureScript Registry
https://github.com/purescript/registry
95 stars 80 forks source link

Only deploy on push to master #655

Closed thomashoneyman closed 1 year ago

thomashoneyman commented 1 year ago

The deploy workflow (https://github.com/purescript/registry-dev/actions/workflows/deploy.yml) is running every time a check_suite completes, ie. any time a commit is pushed to this repository and tests are run. It is supposed to be running when a check suite completes on the master branch, but clearly my understanding of this filter is wrong.

The result is that the master branch is being redeployed any time any work on any PR is done. We really just want to be deploying off the master branch so I've updated the workflow accordingly.