Closed thomashoneyman closed 1 year ago
Helps with https://github.com/purescript/registry/issues/270, https://github.com/purescript/registry/issues/152, and so on by retrying up to 3 times in the case we get a 502 error when publishing to Pursuit. These seem to be an intermittent failure and to be frank I don't want to deal with fixing Pursuit (rather wait to rewrite it).
Helps with https://github.com/purescript/registry/issues/270, https://github.com/purescript/registry/issues/152, and so on by retrying up to 3 times in the case we get a 502 error when publishing to Pursuit. These seem to be an intermittent failure and to be frank I don't want to deal with fixing Pursuit (rather wait to rewrite it).