Closed kevinlewi closed 1 year ago
cc: @daxpedda
Thanks, LGTM! I can take a look at the CI failure later.
https://github.com/facebook/opaque-ke/pull/328 should fix the CI issue, and I'll rebase on top of that once it is merged.
cc: @daxpedda