investigate why some files are missing hints

project-everest / everest-ci

CI scripts for project everest

3 stars 8 forks source link

Closed msprotz closed 5 years ago

msprotz commented 7 years ago

SHA2_256 (HACL*), Negotiation (mitls-fstar)

s-zanella commented 5 years ago

We are much more systematic in recording hints now.