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

[krb5] move fuzzers and build upstream #11951

Merged
merged 1 commit into from
May 20, 2024

Conversation

pkillarjun
Copy link
Contributor

[Do Not Merge]

Moved the fuzzer to krb5 repo with build.sh.

Signed-off-by: Arjun <pkillarjun@protonmail.com>
Copy link

pkillarjun has previously contributed to projects/krb5. The previous PR was #11820

@pkillarjun
Copy link
Contributor Author

Trigger CI / in my localhost this is working

@pkillarjun pkillarjun reopened this May 17, 2024
@jonathanmetzman jonathanmetzman merged commit a3f1d10 into google:master May 20, 2024
28 checks passed
@jonathanmetzman
Copy link
Contributor

Was this not supposed to be merged? It should probably be a draft in that case in the future.

@pkillarjun
Copy link
Contributor Author

Was this not supposed to be merged? It should probably be a draft in that case in the future.

Yes, I didn't remember to put it in the draft. Anyway, let it be; I will change it later.
Also, now it can help me draft a new PR for more fuzzers after I get the coverage report.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants