This wouldn't actually have caught the problem in https://github.com/G-Research/fsharp-analyzers/pull/58 because of course shields.io isn't returning a 404 for a non-existent pipeline, but oh well. You may or may not want this PR; feel free to ignore/close.
This wouldn't actually have caught the problem in https://github.com/G-Research/fsharp-analyzers/pull/58 because of course shields.io isn't returning a 404 for a non-existent pipeline, but oh well. You may or may not want this PR; feel free to ignore/close.