From 86d492166d614f4fc59ce5c0528eefb8a6697cc5 Mon Sep 17 00:00:00 2001 From: schillic Date: Fri, 1 Mar 2024 08:58:02 +0100 Subject: [PATCH] add Aqua badge --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 397d386f30..947bc41e54 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ | **Introduction & Documentation** |**Status** |**Community** |**Version-specific Citation** | **License** | |:-----------------:|:---------------:|:------------:|:----------------------------:|:-----------:| -| [![paper][paper-img]][paper-url] [![docs-dev][dev-img]][dev-url] | [![CI][ci-img]][ci-url] [![codecov][cov-img]][cov-url] | [![zulip][chat-img]][chat-url] | [![zenodo][doi-img]][doi-url] | [![license][lic-img]][lic-url] | +| [![paper][paper-img]][paper-url] [![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] | [![zenodo][doi-img]][doi-url] | [![license][lic-img]][lic-url] | [paper-img]: https://proceedings.juliacon.org/papers/10.21105/jcon.00097/status.svg [paper-url]: https://doi.org/10.21105/jcon.00097 @@ -13,6 +13,8 @@ [ci-url]: https://github.com/JuliaReach/LazySets.jl/actions/workflows/test-master.yml [cov-img]: https://codecov.io/github/JuliaReach/LazySets.jl/coverage.svg [cov-url]: https://app.codecov.io/github/JuliaReach/LazySets.jl +[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 [doi-img]: https://zenodo.org/badge/105701832.svg