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

SECURITY.md: use github vuln reporting tool #155

Merged
merged 1 commit into from
Aug 23, 2023
Merged

SECURITY.md: use github vuln reporting tool #155

merged 1 commit into from
Aug 23, 2023

Conversation

ctz
Copy link
Member

@ctz ctz commented Aug 23, 2023

See rustls/rustls#1412 for rationale.

@djc
Copy link
Member

djc commented Aug 23, 2023

Needs the rcgen pinning commit from rustls, I suppose.

@ctz
Copy link
Member Author

ctz commented Aug 23, 2023

Plus some clippy fixes. On it!

@ctz ctz enabled auto-merge August 23, 2023 08:54
@ctz ctz disabled auto-merge August 23, 2023 08:59
@ctz ctz enabled auto-merge August 23, 2023 09:00
@codecov
Copy link

codecov bot commented Aug 23, 2023

Codecov Report

Merging #155 (967d252) into main (820504d) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #155   +/-   ##
=======================================
  Coverage   96.54%   96.54%           
=======================================
  Files          15       15           
  Lines        4376     4376           
=======================================
  Hits         4225     4225           
  Misses        151      151           

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@ctz ctz added this pull request to the merge queue Aug 23, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Aug 23, 2023
@ctz ctz added this pull request to the merge queue Aug 23, 2023
Merged via the queue into main with commit 01c0e3e Aug 23, 2023
46 checks passed
@ctz ctz deleted the ctz-patch-1 branch August 23, 2023 09:31
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