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

rename crates to hacl and hacl-sys #381

Merged
merged 2 commits into from
Mar 21, 2023
Merged

rename crates to hacl and hacl-sys #381

merged 2 commits into from
Mar 21, 2023

Conversation

franziskuskiefer
Copy link
Member

Work towards #378

This also updates the build process so cargo can package it.
Windows build is yet to be done.

@franziskuskiefer franziskuskiefer requested a review from a team as a code owner March 21, 2023 10:01
@cla-bot cla-bot bot added the cla-signed label Mar 21, 2023
@coveralls
Copy link

Pull Request Test Coverage Report for Build 4477716480

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+0.02%) to 53.441%
Totals Coverage Status
Change from base Build 4476387194: 0.02%
Covered Lines: 30398
Relevant Lines: 56881
💛 - Coveralls

duesee
duesee approved these changes Mar 21, 2023
View reviewed changes
Copy link
Contributor

@duesee duesee left a comment

Choose a reason for hiding this comment

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

Thanks!

rust/hacl-sys/build.rs Show resolved Hide resolved
@franziskuskiefer franziskuskiefer merged commit a8f245a into main Mar 21, 2023
@franziskuskiefer franziskuskiefer deleted the franziskus/rust-cleanup-6 branch March 21, 2023 11:05
@franziskuskiefer franziskuskiefer mentioned this pull request Mar 21, 2023
Open
9 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@duesee duesee duesee approved these changes

Assignees
No one assigned
Labels
cla-signed
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@franziskuskiefer @coveralls @duesee