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.

Sign up for GitHub

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

Jump to bottom

Removed duplicate Hacl_SHA3_* files. #440

Merged
merged 1 commit into from
Dec 7, 2023
Merged

Removed duplicate Hacl_SHA3_* files. #440

merged 1 commit into from
Dec 7, 2023

Conversation

xvzcf
Copy link

@xvzcf xvzcf commented Dec 6, 2023

No description provided.

@xvzcf xvzcf requested a review from a team as a code owner December 6, 2023 19:01
@cla-bot cla-bot bot added the cla-signed label Dec 6, 2023
@coveralls
Copy link

Pull Request Test Coverage Report for Build 7119018583

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 59.089%
Totals Coverage Status
Change from base Build 7117709786: 0.0%
Covered Lines: 37671
Relevant Lines: 63753
💛 - Coveralls

@franziskuskiefer franziskuskiefer merged commit 34243fb into dev Dec 7, 2023
38 checks passed
@franziskuskiefer franziskuskiefer deleted the goutam/fix-hacl-sha3-renaming branch December 7, 2023 06:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@franziskuskiefer franziskuskiefer franziskuskiefer approved these changes

Assignees
No one assigned
Labels
cla-signed
Projects
HACL Packages
Status: Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@xvzcf @coveralls @franziskuskiefer