From ceb875f39ab18d9b8f09b2d0cb6458a87423535c Mon Sep 17 00:00:00 2001 From: jxnu-liguobin Date: Wed, 18 Oct 2023 09:36:11 +0800 Subject: [PATCH] add project status --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index a1bae413..a4023b1e 100644 --- a/README.md +++ b/README.md @@ -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] |