Closed jorisdral closed 1 year ago
https://github.com/badges/shields/issues/8671 changed the URL for the badge we were using to show build status in the README. This PR updates the badge URL, such that the README shows up-to-date build information again.
https://github.com/input-output-hk/typed-protocols has the same issue
Closing because superseded by https://github.com/input-output-hk/io-sim/pull/67
Sorry, I didn't realised you already had a PR.
https://github.com/badges/shields/issues/8671 changed the URL for the badge we were using to show build status in the README. This PR updates the badge URL, such that the README shows up-to-date build information again.