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: contributing and license #1512

Merged
merged 2 commits into from
Nov 3, 2023
Merged

docs: contributing and license #1512

merged 2 commits into from
Nov 3, 2023

Conversation

SKairinos
Copy link
Contributor

@SKairinos SKairinos commented Nov 3, 2023

This change is Reviewable

@SKairinos SKairinos changed the title contributing and license docs: contributing and license Nov 3, 2023
Copy link

codecov bot commented Nov 3, 2023

Codecov Report

Merging #1512 (b514092) into master (4ff42ff) will decrease coverage by 0.02%.
The diff coverage is n/a.

❗ Current head b514092 differs from pull request most recent head d2a6e66. Consider uploading reports for the commit d2a6e66 to get more accurate results

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #1512      +/-   ##
==========================================
- Coverage   91.69%   91.67%   -0.02%     
==========================================
  Files         110      110              
  Lines        5864     5864              
==========================================
- Hits         5377     5376       -1     
- Misses        487      488       +1     

see 1 file with indirect coverage changes

Copy link
Contributor

@faucomte97 faucomte97 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm:

Reviewed 2 of 2 files at r1, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @SKairinos)

@faucomte97 faucomte97 merged commit a314fbc into master Nov 3, 2023
4 checks passed
@faucomte97 faucomte97 deleted the contributing branch November 3, 2023 15:00
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.

2 participants