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

Compile boringssl libpki fuzzers #10727

Merged
merged 2 commits into from
Aug 1, 2023
Merged

Conversation

bob-beck
Copy link
Contributor

No description provided.

@bob-beck bob-beck marked this pull request as draft July 19, 2023 21:15
@github-actions
Copy link

bob-beck is either the primary contact or is in the CCs list of projects/boringssl.
bob-beck is a new contributor to projects/boringssl. The PR must be approved by known contributors before it can be merged. The past contributors are: vitalybuka, Alan32Liu, jonathanmetzman, davidben, Navidem, DavidKorczynski, inferno-chromium, sleevi, dannyallover, devtty1er, Dor1s, oliverchang (unverified), ssbr (unverified), mikea (unverified)

@bob-beck bob-beck force-pushed the pki-fuzzers branch 2 times, most recently from f83abb8 to 126802d Compare July 20, 2023 16:16
@bob-beck bob-beck marked this pull request as ready for review July 20, 2023 18:01
@DonggeLiu DonggeLiu enabled auto-merge (squash) July 21, 2023 01:51
auto-merge was automatically disabled July 21, 2023 16:52

Head branch was pushed to by a user without write access

@DonggeLiu DonggeLiu enabled auto-merge (squash) July 24, 2023 01:01
auto-merge was automatically disabled August 1, 2023 01:11

Head branch was pushed to by a user without write access

@DavidKorczynski DavidKorczynski merged commit f682c3f into google:master Aug 1, 2023
15 checks passed
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.

4 participants