Merge pull request #3453 from JuliaReach/schillic/aqua

Add Aqua badge

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