search

project-everest / everest-ci

CI scripts for project everest
3 stars 8 forks source link

Add HACL* verification CI #36

Closed vkanne-msft closed 7 years ago

vkanne-msft commented 7 years ago

HACL* CI.

The repo can move significantly in the recent future and we can work on it after that.

msprotz commented 7 years ago

This needs to happen now... taking this.

msprotz commented 7 years ago

build definition is in place, first test running

msprotz commented 7 years ago

successfully configured everything, verification is running, any further error to be fixed by @jkzinzindohoue , this is done

darrenge commented 7 years ago

I see HACL* is part of miTLS repo ... should it be grouped with miTLS on the dashboard and build definitions or should it be considered separate?

msprotz commented 7 years ago

I think we can consider it as separate. Thanks!