Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add coverage badge at docs index #762

Merged
merged 1 commit into from
Sep 27, 2023
Merged

Add coverage badge at docs index #762

merged 1 commit into from
Sep 27, 2023

Conversation

kumaranvpl
Copy link
Contributor

@kumaranvpl kumaranvpl commented Sep 27, 2023 •
edited

Description

Added coverage badge at docs index

Fixes #761

Type of change

Please delete options that are not relevant.

  • Documentation (typos, code examples, or any documentation updates)

Checklist

  • My code adheres to the style guidelines of this project (scripts/lint.sh shows no errors)
  • I have conducted a self-review of my own code
  • I have made the necessary changes to the documentation
  • My changes do not generate any new warnings
  • Both new and existing unit tests pass successfully on my local environment by running scripts/test-cov.sh
  • I have ensured that static analysis tests are passing by running scripts/static-anaylysis.sh

@kumaranvpl kumaranvpl linked an issue Sep 27, 2023 that may be closed by this pull request
Add coverage badge at docs index #761
Closed
@kumaranvpl kumaranvpl mentioned this pull request Sep 27, 2023
Merged
6 tasks
@sternakt sternakt added this pull request to the merge queue Sep 27, 2023
Merged via the queue into main with commit 4039b78 Sep 27, 2023
19 checks passed
@sternakt sternakt deleted the 761-add-coverage-badge-at-docs-index branch September 27, 2023 14:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sternakt sternakt sternakt approved these changes

@Lancetnik Lancetnik Awaiting requested review from Lancetnik

@davorrunje davorrunje Awaiting requested review from davorrunje

Assignees

@davorrunje davorrunje

@Lancetnik Lancetnik

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Add coverage badge at docs index
4 participants
@kumaranvpl @sternakt @davorrunje @Lancetnik