ci : adjust rank score interval

ggerganov · ggerganov · commit e51973f21ea5 · 2024-10-04T12:06:58.000+03:00
ggml-ci
diff --git a/ci/run.sh b/ci/run.sh
@@ -775,7 +775,7 @@ function gg_run_rerank_tiny {
 
     check_score "rerank score 0" "$(cat $OUT/${ci}-rk-f16.log | grep "rerank score 0")" "0.00" "0.05" | tee -a $OUT/${ci}-rk-f16.log
     check_score "rerank score 1" "$(cat $OUT/${ci}-rk-f16.log | grep "rerank score 1")" "0.00" "0.05" | tee -a $OUT/${ci}-rk-f16.log
-    check_score "rerank score 2" "$(cat $OUT/${ci}-rk-f16.log | grep "rerank score 2")" "0.10" "0.15" | tee -a $OUT/${ci}-rk-f16.log
+    check_score "rerank score 2" "$(cat $OUT/${ci}-rk-f16.log | grep "rerank score 2")" "0.10" "0.30" | tee -a $OUT/${ci}-rk-f16.log
 
     set +e
 }

Original file line number	Diff line number	Diff line change
`@@ -775,7 +775,7 @@ function gg_run_rerank_tiny {`
`775`	`775`
`776`	`776`	`check_score "rerank score 0" "$(cat $OUT/${ci}-rk-f16.log \| grep "rerank score 0")" "0.00" "0.05" \| tee -a $OUT/${ci}-rk-f16.log`
`777`	`777`	`check_score "rerank score 1" "$(cat $OUT/${ci}-rk-f16.log \| grep "rerank score 1")" "0.00" "0.05" \| tee -a $OUT/${ci}-rk-f16.log`
`778`		`- check_score "rerank score 2" "$(cat $OUT/${ci}-rk-f16.log \| grep "rerank score 2")" "0.10" "0.15" \| tee -a $OUT/${ci}-rk-f16.log`
	`778`	`+ check_score "rerank score 2" "$(cat $OUT/${ci}-rk-f16.log \| grep "rerank score 2")" "0.10" "0.30" \| tee -a $OUT/${ci}-rk-f16.log`
`779`	`779`
`780`	`780`	`set +e`
`781`	`781`	`}`