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.

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

docs: better dev docs #755

Merged
merged 1 commit into from
Nov 3, 2024
Merged

docs: better dev docs #755

merged 1 commit into from
Nov 3, 2024

Conversation

TomerFi
Copy link
Owner

@TomerFi TomerFi commented Nov 3, 2024

Description

Better dev docs.

Checklist

  • I have followed this repository's contributing guidelines.
  • I will adhere to the project's code of conduct.

Signed-off-by: Tomer Figenblat <tomer@tomfi.info>
@TomerFi TomerFi requested a review from dmatik as a code owner November 3, 2024 22:27
@pull-request-size pull-request-size bot added the size: l Pull request has 100 to 500 lines label Nov 3, 2024
@auto-me-bot auto-me-bot bot added the status: needs review Pull request needs a review label Nov 3, 2024
Copy link

github-actions bot commented Nov 3, 2024

Test Results

59 tests   59 ✅  1s ⏱️
 1 suites   0 💤
 1 files     0 ❌

Results for commit f71d628.

Copy link

codecov bot commented Nov 3, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 95.56%. Comparing base (b850cdf) to head (f71d628).
Report is 1 commits behind head on dev.

Additional details and impacted files
@@           Coverage Diff           @@
##              dev     #755   +/-   ##
=======================================
  Coverage   95.56%   95.56%           
=======================================
  Files           1        1           
  Lines         293      293           
=======================================
  Hits          280      280           
  Misses         13       13           

@TomerFi TomerFi merged commit 9424fd5 into dev Nov 3, 2024
9 checks passed
@TomerFi TomerFi deleted the better-dev-docs branch November 3, 2024 22:36
@auto-me-bot auto-me-bot bot added status: merged Pull request merged and removed status: needs review Pull request needs a review labels Nov 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
size: l Pull request has 100 to 500 lines status: merged Pull request merged
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant