update hacl star

[franziskuskiefer]

Updating to hacl-star/hacl-star#940.
This needs to update to main once that PR is merged.

[coveralls]

Pull Request Test Coverage Report for Build 9564781291

Warning: This coverage report may be inaccurate.

This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

• For more information on this, see Tracking coverage changes with pull request builds.
• To avoid this issue with future PRs, see these Recommended CI Configurations.
• For a quick fix, rebase this PR at GitHub. Your next report should be accurate.

Details

• 1867 of 10088 (18.51%) changed or added relevant lines in 12 files are covered.
• 24 unchanged lines in 6 files lost coverage.
• Overall coverage decreased (-5.9%) to 48.135%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
src/EverCrypt_DRBG.c	2	8	25.0%
src/Hacl_Frodo1344.c	0	34	0.0%
src/Hacl_Frodo64.c	0	34	0.0%
src/Hacl_Frodo640.c	0	34	0.0%
src/Hacl_Frodo976.c	0	34	0.0%
src/EverCrypt_Hash.c	0	36	0.0%
src/Hacl_Hash_Blake2s.c	290	420	69.05%
src/Hacl_Hash_Blake2b.c	289	422	68.48%
src/Hacl_Hash_Blake2b_Simd256.c	275	416	66.11%
src/Hacl_Hash_Blake2s_Simd128.c	91	407	22.36%

Files with Coverage Reduction	New Missed Lines	%
src/Hacl_Hash_Blake2s.c	1	86.6%
src/Hacl_Hash_Blake2b.c	1	86.09%
src/Hacl_Hash_Blake2b_Simd256.c	1	65.98%
src/Lib_RandomBuffer_System.c	2	64.29%
src/Hacl_Hash_Blake2s_Simd128.c	9	32.55%
src/Hacl_Hash_SHA3.c	10	51.18%

Totals
Change from base Build 9564734956:	-5.9%
Covered Lines:	29403
Relevant Lines:	61085

---

💛 - Coveralls

[cla-bot]

We require contributors to sign our Contributor License Agreement https://github.com/cryspen/hacl/blob/main/CLA.md ensuring that the contribution can be licensed under Apache 2.0 and MIT. In order for us to review and merge your code, please mention @cryspen/core in a comment below to get yourself added.

[cla-bot]

We require contributors to sign our Contributor License Agreement https://github.com/cryspen/hacl/blob/main/CLA.md ensuring that the contribution can be licensed under Apache 2.0 and MIT. In order for us to review and merge your code, please mention @cryspen/core in a comment below to get yourself added.