Jonathan Protzenko

FYI CI is now green, and includes extracting, building and testing the Rust code.

HACL packages CI is now green, which should allow us to get a perf comparison between: - HACL/main and HACL/afromher_rs, in C -- how much do the source changes on...

Awesome, can you submit a PR?

@pnmadelaine any thoughts?

> Additionally, this adds a git_rev_length variable to control the length of F*/KaRaMeL revisions that are present in the KaRaMeL default header and raise it from 8 to 10. Perhaps...

Good suggestion, Guido -- thanks. Regarding the commit hash: for the sake of keeping things readable, let's hardcode 12 as the length (what is good for Linux is good for...

@cmovcc: KString.starts_with is the helper you want here, something like `KList.filter_some (fun l -> if KString.starts_with l "commit=" then Some (String.sub ... l ...) else None) lines` (sketch)

Build fail, please try to see with @pnmadelaine what's up

@pnmadelaine doesn't know what's going on -- @tahina-pro do you have a clue?

Maybe @mtzguido knows?