libcrux icon indicating copy to clipboard operation
libcrux copied to clipboard
verified publisher icon cryspen

feat(docs): CONTRIBUTING.md: add guidelines for hax

Open W95Psp opened this issue 3 months ago • 2 comments

This PR adds guidelines for hax.

W95Psp avatar Sep 03 '25 10:09 W95Psp

Sounds good to me, thank you!

W95Psp avatar Sep 03 '25 10:09 W95Psp

What's the state here? Shall we get this in?

franziskuskiefer avatar Sep 26 '25 13:09 franziskuskiefer

This PR has been marked as stale due to a lack of activity for 60 days. If you believe this pull request is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

github-actions[bot] avatar Nov 26 '25 01:11 github-actions[bot]