search

project-everest / everest

https://project-everest.github.io/
Apache License 2.0
193 stars 29 forks source link

The snapshot of HACL* is built as part of the verify phase #47

Open msprotz opened 7 years ago

msprotz commented 7 years ago

It should be built as part of either the build or test phase

beurdouche commented 6 years ago

The snapshot generation is already under CI. snapshots/hacl-c is a dependency of build/libhacl.so

beurdouche commented 6 years ago

My mistake, I misread the issue, I'll investigate...