Projects in Awesome Lists tagged with codecov-badge

https://github.com/proper-testing/proper

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

codecov-badge erlang erlang-versions-badge release-badge

Last synced: 25 Apr 2025

https://github.com/manopapad/proper

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

codecov-badge erlang erlang-versions-badge release-badge

Last synced: 19 Mar 2025

https://github.com/parapluu/concuerror

Concuerror is a stateless model checking tool for Erlang programs.

automatic codecov codecov-badge concuerror concurrent-erlang-programs concurrent-programming debugging erlang erlang-programs erlang-versions-badge model-checker model-checking otp stateless-model-checking systematic-testing testing tool travis-badge verification

Last synced: 14 Apr 2025

https://github.com/parapluu/Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

automatic codecov codecov-badge concuerror concurrent-erlang-programs concurrent-programming debugging erlang erlang-programs erlang-versions-badge model-checker model-checking otp stateless-model-checking systematic-testing testing tool travis-badge verification

Last synced: 18 Nov 2024

https://github.com/yangwenmai/how-to-add-badge-in-github-readme

How to add badge (eg: Travis-CI & GoReportCard & Coveralls & Codecov ) in Github README.

badge codecov codecov-badge coverage-status coveralls github go golang goreportcard how-to-add-badge-in-github-readme readme report-card stargazer status-badge travis-ci

Last synced: 16 Apr 2025

https://github.com/hjpotter92/sonyflake-py

A distributed unique ID generator inspired by Twitter's Snowflake, rewritten in python

codecov codecov-badge id-generator python readthedocs readthedocs-badge snowflake sonyflake travis-ci unique-id

Last synced: 11 Apr 2025

https://github.com/iamcharankumar/playwright_test_framework

Automated end-to-end testing framework built with Playwright and Java, tailored for any website. Designed for scalability and maintainability, this framework covers critical test scenarios with robust assertions and clean, modular code. Perfect for those looking to speed up their test automation journey or enhance their Playwright skills!

chrome-devtools-protocol codecov-badge discord-integration jacoco java-17 maven-pom parallelization playwright-java testng-framework web-performance-analytics web-test-automation