***NO_CI*** move the .fsti.source directory also to --cache_dir
***NO_CI*** move the .fsti.source directory also to --cache_dir

FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar