purescript / registry-dev

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

Trim temp directory from path when reporting errors in source code #686

Open thomashoneyman opened 7 months ago

thomashoneyman commented 7 months ago

When a failure happens in the publish pipeline due to a problem with a package's source code, we report the bad files using their full filepath as we have it at the time of the error. For example:

We should trim the temporary directory because it's just noise. The directory will be gone by the time we have a chance to go look at the server filesystem anyways (or, in the case of GitHub Actions, it'll most certainly be gone by the time the workflow completes). This error would then report purescript-punycode/src/Main.purs as the path.