search

project-everest / everest-ci

CI scripts for project everest
3 stars 8 forks source link

Give a time breakdown for F* CI #117

Open msprotz opened 7 years ago

msprotz commented 7 years ago

Bootstrapping vs. testing