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 docs #725

Merged
merged 1 commit into from
Oct 26, 2024
Merged

docs: better docs #725

merged 1 commit into from
Oct 26, 2024

Conversation

TomerFi
Copy link
Owner

@TomerFi TomerFi commented Oct 26, 2024

Signed-off-by: Tomer Figenblat tomer@tomfi.info

Description

Better docs.

Checklist

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

@TomerFi TomerFi requested a review from dmatik as a code owner October 26, 2024 06:34
@pull-request-size pull-request-size bot added the size: xxl Pull request has more then 1000 lines label Oct 26, 2024
@auto-me-bot auto-me-bot bot added the status: needs review Pull request needs a review label Oct 26, 2024
@TomerFi TomerFi force-pushed the better-docs branch 2 times, most recently from 7221bb7 to d19257d Compare October 26, 2024 06:40
Copy link

github-actions bot commented Oct 26, 2024

Test Results

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

Results for commit 73b40d8.

♻️ This comment has been updated with latest results.

Signed-off-by: Tomer Figenblat <tomer@tomfi.info>
Copy link

codecov bot commented Oct 26, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 90.07%. Comparing base (9a70c7b) to head (73b40d8).
Report is 1 commits behind head on dev.

Additional details and impacted files
@@           Coverage Diff           @@
##              dev     #725   +/-   ##
=======================================
  Coverage   90.07%   90.07%           
=======================================
  Files           1        1           
  Lines         252      252           
=======================================
  Hits          227      227           
  Misses         25       25           

@TomerFi TomerFi merged commit 87ddc87 into dev Oct 26, 2024
9 checks passed
@TomerFi TomerFi deleted the better-docs branch October 26, 2024 06:57
@auto-me-bot auto-me-bot bot added status: merged Pull request merged and removed status: needs review Pull request needs a review labels Oct 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
size: xxl Pull request has more then 1000 lines status: merged Pull request merged
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant