Skip to content

Commit

Permalink
add project status
Browse files Browse the repository at this point in the history
  • Loading branch information
jxnu-liguobin authored Oct 18, 2023
1 parent 57b87e2 commit ceb875f
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
# smt

[![Project stage](https://img.shields.io/badge/Project%20Stage-Deprecated-red.svg)](https://github.com/bitlap/bitlap/wiki/Project-Stages)

| CI | Codecov | Scaladex | Jetbrains Plugin |
|-----------------|-------------------------------------------|---------------------------------------------------------------|-----------------------------------------------|
| ![CI][Badge-CI] | [![codecov][Badge-Codecov]][Link-Codecov] | [![smt Scala version support][Badge-Scaladex]][Link-Scaladex] | [![Version][Badge-Jetbrains]][Link-Jetbrains] |
Expand Down

0 comments on commit ceb875f

Please sign in to comment.