chore: remove one of the codecov badges - #1700

This repository was archived by the owner on Sep 9, 2026. It is now read-only.