[n/a] I added an entry to CHANGES.md if knowledge of this change could be valuable to users.
Added a docs/crates badge.
🔥hot take🔥: I removed the ci badge all together.
we no longer use travis ci. I could have changed this to use a GH actions
badge, but people can already see the build status next to the commit on
the front page. I don't think it warrants a redundant badge.
frewsxcv
commented
3 years ago 
bors[bot]
[n/a] I added an entry to
CHANGES.mdif knowledge of this change could be valuable to users.Added a docs/crates badge.
🔥hot take🔥: I removed the ci badge all together. we no longer use travis ci. I could have changed this to use a GH actions badge, but people can already see the build status next to the commit on the front page. I don't think it warrants a redundant badge.