Update CI badge in readme

obsidiansystems / dependent-map

Dependently-typed finite maps (partial dependent products)

Other

63 stars 33 forks source link

Closed jhrcek closed 4 months ago

jhrcek commented 4 months ago

Forgot to update CI badge in the readme after removing the travis config :slightly_smiling_face: