project-everest / everest-ci

CI scripts for project everest
3 stars 8 forks source link

Updated vale ci to have kremlin home and path based on cygpath #68

Closed darrenge closed 7 years ago

darrenge commented 7 years ago

These changes were based on Jonathan's suggestions and hacl_verify as an example of how to do it

msprotz commented 7 years ago

👍