search

purescript / registry-dev

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

Add continuous deployment #634

Closed thomashoneyman closed 1 year ago

thomashoneyman commented 1 year ago

This workflow file will deploy the registry when the check-suites (garnix) complete, so long as the checks were run on a commit to the master branch.

thomashoneyman commented 1 year ago

In https://github.com/purescript/registry-dev/pull/634/commits/a0f544e729344dededea23f0d3f4573268d07093 we had a successful deployment.