diff --git a/README.md b/README.md index 4bb8f32e2..666601e9e 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ | **Documentation** | **Status** | **Community** | **License** | |:-----------------:|:----------:|:-------------:|:-----------:| -| [![docs-dev][dev-img]][dev-url] | [![CI][ci-img]][ci-url] [![codecov][cov-img]][cov-url] [![aqua][aqua-img]][aqua-url] | [![zulip][chat-img]][chat-url] | [![license][lic-img]][lic-url] | +| [![docs-dev][dev-img]][dev-url] | [![CI][ci-img]][ci-url] [![codecov][cov-img]][cov-url] [![PkgEval][pkgeval-img]][pkgeval-url] [![aqua][aqua-img]][aqua-url] | [![zulip][chat-img]][chat-url] [![JuliaHub][juliahub-img]][juliahub-url] | [![license][lic-img]][lic-url] | [dev-img]: https://img.shields.io/badge/docs-latest-blue.svg [dev-url]: https://juliareach.github.io/ReachabilityAnalysis.jl/dev/ @@ -10,10 +10,14 @@ [ci-url]: https://github.com/JuliaReach/ReachabilityAnalysis.jl/actions/workflows/test-master.yml [cov-img]: https://codecov.io/github/JuliaReach/ReachabilityAnalysis.jl/coverage.svg [cov-url]: https://app.codecov.io/github/JuliaReach/ReachabilityAnalysis.jl +[pkgeval-img]: https://juliaci.github.io/NanosoldierReports/pkgeval_badges/R/ReachabilityAnalysis.svg +[pkgeval-url]: https://juliaci.github.io/NanosoldierReports/pkgeval_badges/R/ReachabilityAnalysis.html [aqua-img]: https://raw.githubusercontent.com/JuliaTesting/Aqua.jl/master/badge.svg [aqua-url]: https://github.com/JuliaTesting/Aqua.jl [chat-img]: https://img.shields.io/badge/zulip-join_chat-brightgreen.svg [chat-url]: https://julialang.zulipchat.com/#narrow/stream/278609-juliareach +[juliahub-img]: https://juliahub.com/docs/General/ReachabilityAnalysis/stable/version.svg +[juliahub-url]: https://juliahub.com/ui/Packages/General/ReachabilityAnalysis [lic-img]: https://img.shields.io/github/license/mashape/apistatus.svg [lic-url]: https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/LICENSE