search

tomjaguarpaw / product-profunctors

Other
19 stars 14 forks source link

Fix CI badge URL #69

Closed jhrcek closed 1 year ago

jhrcek commented 1 year ago

This unbreaks the CI badge shown in the readme both on github and on hackage

See https://github.com/badges/shields/issues/8671 for details

tomjaguarpaw commented 1 year ago

Thanks, this will have to be done in combination with a CI update, which I have just pushed to your branch.

tomjaguarpaw commented 1 year ago

Thanks!