search

project-everest / everest-ci

CI scripts for project everest
3 stars 8 forks source link

Added fstar-binary-build option to the ci #90

Closed darrenge closed 7 years ago

darrenge commented 7 years ago

Added binary build option to ci script. I understand that the process_build.sh file is NOT in FStar master yet but if this ci change is in place, it makes it easier to run on non master branches. Thanks.

msprotz commented 7 years ago

Thanks! FYI there's a .scripts directory for F* where we put all scripts