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: documentation comments #765

Merged
merged 1 commit into from
Nov 12, 2023
Merged

Conversation

lars-reimann
Copy link
Member

Closes partially #669

Summary of Changes

Document how to write documentation comments.

Copy link

🦙 MegaLinter status: ✅ SUCCESS

Descriptor Linter Files Fixed Errors Elapsed time
✅ MARKDOWN markdown-link-check 1 0 0.43s
✅ REPOSITORY git_diff yes no 0.1s

See detailed report in MegaLinter reports
Set VALIDATE_ALL_CODEBASE: true in mega-linter.yml to validate all sources, not only the diff

MegaLinter is graciously provided by OX Security

Copy link

codecov bot commented Nov 12, 2023

Codecov Report

Merging #765 (302b468) into main (e049148) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##              main      #765   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files           80        80           
  Lines        11594     11594           
  Branches      2417      2417           
=========================================
  Hits         11594     11594           

@lars-reimann lars-reimann marked this pull request as ready for review November 12, 2023 12:25
@lars-reimann lars-reimann merged commit f68c88c into main Nov 12, 2023
7 checks passed
@lars-reimann lars-reimann deleted the doc-comment-documentation branch November 12, 2023 12:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant