fix(core): avoid constant recompilation#2057

zhu-he wants to merge 1 commit intoEricLBuehler:masterEricLBuehler/mistral.rs:masterfrom

zhu-he:fix/build-script-recompilationzhu-he/mistral.rs:fix/build-script-recompilationCopy head branch name to clipboard