ci: remove unneccessary git diff after applying patch

ryanofsky · ryanofsky · commit c835176774a4 · 2024-02-21T10:02:21.000-05:00
Drop `git diff` command so it is easier to run CI locally if git checkout is a worktree. Currently it fails because the directory is not recognized as a git repository. The `git diff` command was added recently in #28359 commit fa07ac4 and isn't neccessary. It is also probably not useful for debugging.
diff --git a/ci/test/03_test_script.sh b/ci/test/03_test_script.sh
@@ -50,7 +50,6 @@ index 65e31724bc..f61b471953 100644
 
    mutex_.Lock();
    stats_[compact->compaction->level() + 1].Add(stats);' | patch -p1
-  git diff
 )
 
 if [ "$RUN_FUZZ_TESTS" = "true" ]; then

Original file line number	Diff line number	Diff line change
`@@ -50,7 +50,6 @@ index 65e31724bc..f61b471953 100644`
`50`	`50`
`51`	`51`	`mutex_.Lock();`
`52`	`52`	`stats_[compact->compaction->level() + 1].Add(stats);' \| patch -p1`
`53`		`- git diff`
`54`	`53`	`)`
`55`	`54`
`56`	`55`	`if [ "$RUN_FUZZ_TESTS" = "true" ]; then`