Closed donjuanplatinum closed 1 month ago
r? @fslongjin
dragonosbot has assigned @fslongjin. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.
Use r?
to explicitly pick a reviewer
感觉这个地方最好做成可选项,就是脚本加--sparse
参数,才使用稀疏索引。这样会更好。因为稀疏索引实际上是每次编译的时候,速度会慢一些的,有的同学会更愿意直接clone整个索引。
@dragonosbot author
在那个换元的脚本里面加一个选项判断,而不是在外面bootstrap那里加。也不用复制多一个脚本文件
r? @fslongjin
dragonosbot has assigned @fslongjin. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.
Use
r?
to explicitly pick a reviewer
r?
Error: Parsing assign command in comment failed: ...'' | error: specify user to assign to at >| ''...
Please file an issue on GitHub at triagebot if there's a problem with this bot, or post it on https://bbs.dragonos.org.cn
更换rust镜像源为稀疏索引以提高下载速度