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

feat: added plugin registry to docs #2138

Merged
merged 3 commits into from
May 19, 2024
Merged

feat: added plugin registry to docs #2138

merged 3 commits into from
May 19, 2024

Conversation

jdx
Copy link
Owner

@jdx jdx commented May 19, 2024

From jdx/mise-docs#58

Co-authored-by: taskylizard [email protected]

@jdx jdx changed the title plugin registry feat: added plugin registry to docs May 19, 2024
Copy link

codacy-production bot commented May 19, 2024

Coverage summary from Codacy

See diff coverage on Codacy

Coverage variation Diff coverage
+0.05%
Coverage variation details
Coverable lines Covered lines Coverage
Common ancestor commit (ea31a39) 16606 13556 81.63%
Head commit (41f6c76) 16606 (+0) 13565 (+9) 81.69% (+0.05%)

Coverage variation is the difference between the coverage for the head and common ancestor commits of the pull request branch: <coverage of head commit> - <coverage of common ancestor commit>

Diff coverage details
Coverable lines Covered lines Diff coverage
Pull request (#2138) 0 0 ∅ (not applicable)

Diff coverage is the percentage of lines that are covered by tests out of the coverable lines that the pull request added or modified: <covered lines added or modified>/<coverable lines added or modified> * 100%

See your quality gate settings    Change summary preferences

Codacy will stop sending the deprecated coverage status from June 5th, 2024. Learn more

@jdx jdx force-pushed the plugin-registry branch 2 times, most recently from e9bbeaf to 6868afc Compare May 19, 2024 16:16
@jdx jdx enabled auto-merge (squash) May 19, 2024 16:23
Copy link

Code Coverage

Package Line Rate Complexity Health
src 87% 0
src.cli 84% 0
src.cli.alias 89% 0
src.cli.args 96% 0
src.cli.backends 95% 0
src.cli.cache 95% 0
src.cli.config 92% 0
src.cli.direnv 80% 0
src.cli.plugins 89% 0
src.cli.settings 93% 0
src.cli.sync 29% 0
src.cli.tasks 71% 0
src.config.config_file 89% 0
src.config 87% 0
src.forge 77% 0
src.plugins.core 56% 0
src.plugins 84% 0
src.shell 98% 0
src.toolset 85% 0
src.ui 67% 0
Summary 82% (13565 / 16606) 0

@jdx jdx merged commit 6b5e366 into main May 19, 2024
9 of 10 checks passed
@jdx jdx deleted the plugin-registry branch May 19, 2024 16:32
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