ci : fix clean-up of old logs (#16381)

This commit is contained in:
Georgi Gerganov
2025-10-02 10:35:43 +03:00
committed by GitHub
parent 2be72c2b12
commit bbd32bc038

View File

@@ -34,9 +34,9 @@ mkdir -p "$2"
OUT=$(realpath "$1") OUT=$(realpath "$1")
MNT=$(realpath "$2") MNT=$(realpath "$2")
rm -f "$OUT/*.log" rm -f $OUT/*.log
rm -f "$OUT/*.exit" rm -f $OUT/*.exit
rm -f "$OUT/*.md" rm -f $OUT/*.md
sd=`dirname $0` sd=`dirname $0`
cd $sd/../ cd $sd/../
@@ -607,6 +607,7 @@ if [ -z ${GG_BUILD_LOW_PERF} ]; then
fi fi
ret=0 ret=0
test $ret -eq 0 && gg_run ctest_debug test $ret -eq 0 && gg_run ctest_debug
test $ret -eq 0 && gg_run ctest_release test $ret -eq 0 && gg_run ctest_release
@@ -624,4 +625,6 @@ if [ -z ${GG_BUILD_LOW_PERF} ]; then
test $ret -eq 0 && gg_run ctest_with_model_release test $ret -eq 0 && gg_run ctest_with_model_release
fi fi
cat $OUT/README.md
exit $ret exit $ret