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

chore: warnings for doc issues, deny in pre-commit and CI #102

Merged
merged 1 commit into from
Dec 14, 2023

Conversation

mlegner
Copy link
Contributor

@mlegner mlegner commented Dec 14, 2023

No description provided.

Copy link
Contributor

github-actions bot commented Dec 14, 2023

Code Coverage

Package Line Rate Health
crates/scion/src/daemon 95%
crates/scion-proto/src/path 88%
crates/scion/src 84%
crates/scion-proto/src/address 68%
crates/scion-proto/src 80%
crates/scion-proto/src/path/metadata 100%
crates/scion-proto/src/packet/headers 84%
crates/scion-proto/src/reliable 95%
crates/scion-proto/src/packet 79%
Summary 80% (1064 / 1322)

Copy link
Contributor

@jpcsmith jpcsmith left a comment

Choose a reason for hiding this comment

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

Looks good!

@jpcsmith jpcsmith merged commit 473a1c2 into main Dec 14, 2023
11 checks passed
@jpcsmith jpcsmith deleted the chore/doc-warnings branch December 14, 2023 13:50
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