search

project-everest / everest-ci

CI scripts for project everest
3 stars 8 forks source link

Darrenge docs #61

Closed darrenge closed 7 years ago

darrenge commented 7 years ago

Put Samin's FStar doc generation code in ci script. Ran it on build machine under build definition and all passes with results going to FStar-Build slack channel.

msprotz commented 7 years ago

Excellent, thanks!