diff --git a/scripts/ci/run_ci.sh b/scripts/ci/run_ci.sh index d79f974e957..59c373ff085 100755 --- a/scripts/ci/run_ci.sh +++ b/scripts/ci/run_ci.sh @@ -251,7 +251,12 @@ if [ -n "$main_ci" ]; then # Save list of tests to be run ${sanitycheck} ${sanitycheck_options} --save-tests test_file_3.txt || exit 1 - cat test_file_1.txt test_file_2.txt test_file_3.txt > test_file.txt + + # Remove headers from all files but the first one to generate one + # single file with only one header row + tail -n +2 test_file_2.txt > test_file_2_in.txt + tail -n +2 test_file_1.txt > test_file_1_in.txt + cat test_file_3.txt test_file_2_in.txt test_file_1_in.txt > test_file.txt # Run a subset of tests based on matrix size ${sanitycheck} ${sanitycheck_options} --load-tests test_file.txt \