search

project-everest / everest-ci

CI scripts for project everest
3 stars 8 forks source link

updated the check for HACL star CI and Nightly to use secure_API inst… #78

Closed darrenge closed 7 years ago

darrenge commented 7 years ago

…ead of crypto_proofs

msprotz commented 7 years ago

thanks!