search

project-everest / everest-ci

CI scripts for project everest
3 stars 8 forks source link

put LowCProvider under CI #100

Closed msprotz closed 7 years ago

beurdouche commented 7 years ago

Fixed by https://github.com/mitls/hacl-star/commit/ab4eec63310f045050c5358b77d6921157225841