hax icon indicating copy to clipboard operation
hax copied to clipboard
verified publisher icon hacspec

ci/kyber: unify hax' job with licbrux' one

Open W95Psp opened this issue 1 year ago • 1 comments

W95Psp avatar Feb 20 '24 12:02 W95Psp

Related to https://github.com/hacspec/hax-actions/actions and PR https://github.com/cryspen/libcrux/pull/210.

W95Psp avatar Feb 29 '24 12:02 W95Psp

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue 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 Sep 08 '24 02:09 github-actions[bot]

This should still happen

franziskuskiefer avatar Sep 09 '24 06:09 franziskuskiefer

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue 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 15 '24 02:11 github-actions[bot]