purescript / registry-dev

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

Ensure we notify on exceptions #581

Closed thomashoneyman closed 1 year ago

thomashoneyman commented 1 year ago

Exceptions are not currently notifying on GitHub, as seen in this workflow run for #152: https://github.com/purescript/registry/actions/runs/3895406543/jobs/6650688194#step:9:654

That's because we're catching the exception and exiting the process without calling notify. This PR fixes the issue, also ensuring the issue remains open if an exception was thrown.