tools: make fast.v results more robust to AWS spikes (increase samples, discard the top few)

This commit is contained in:
Delyan Angelov 2022-11-02 10:39:18 +02:00
parent 38291fd292
commit 82dc9ca434
No known key found for this signature in database
GPG key ID: 66886C0F12D595ED
2 changed files with 110 additions and 68 deletions

View file

@ -41,7 +41,7 @@ fn main() {
continue
}
if res_pull.output.contains('Already up to date.') {
if os.args[1] or { '' } == '-force-update' {
if os.args.contains('-force-update') {
elog('The repository was already updated, but -force-update was passed too.')
} else {
delay()