beef up F* CI with orange

project-everest / everest-ci

CI scripts for project everest

3 stars 8 forks source link

Closed msprotz closed 7 years ago

msprotz commented 7 years ago

i.e. it breaks some verification in HACL* quick checkout? make sure we don't pay too much price cloning repositories