Skip to content

Commit

Permalink
Cleanup README badges
Browse files Browse the repository at this point in the history
  • Loading branch information
mwillsey committed Nov 18, 2021
1 parent e9a7a8c commit 059648e
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,8 +1,7 @@
# <img src="doc/egg.svg" alt="egg logo" height="40" align="left"> 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?
Expand Down

0 comments on commit 059648e

Please sign in to comment.