diff --git a/README.md b/README.md index 13235693..557d3f4b 100644 --- a/README.md +++ b/README.md @@ -1,8 +1,7 @@ # egg logo egg: egraphs good -[![Build Status](https://github.com/egraphs-good/egg/workflows/Build%20and%20Test/badge.svg?branch=main)](https://github.com/egraphs-good/egg/actions) [![Crates.io](https://img.shields.io/crates/v/egg.svg)](https://crates.io/crates/egg) -[![Released Docs.rs](https://docs.rs/egg/badge.svg)](https://docs.rs/egg/) +[![Released Docs.rs](https://img.shields.io/crates/v/egg?color=blue&label=docs)](https://docs.rs/egg/) [![Main branch docs](https://img.shields.io/badge/docs-main-blue)](https://egraphs-good.github.io/egg/egg/) Are you using egg?