search

project-everest / everest-ci

CI scripts for project everest
3 stars 8 forks source link

Changed fstar-binary-build to call script in scripts folder instead of root #91

Closed darrenge closed 7 years ago

darrenge commented 7 years ago

Moved the process_build.sh file to the .scripts folder so had to change ci to call it from there

msprotz commented 7 years ago

Thanks!