Clean up GIF files

ayshih · ayshih · commit fcd90e4f2110 · 2025-06-19T14:55:47.000-04:00
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -369,7 +369,7 @@ jobs:
               done
           }
 
-          remove_files "png"; remove_files "svg"; remove_files "pdf"; remove_files "eps";
+          remove_files "png"; remove_files "svg"; remove_files "pdf"; remove_files "eps"; remove_files "gif";
 
           if [ "$(find ./result_images -mindepth 1 -type d)" ]; then
               find ./result_images/* -type d -empty -delete

Original file line number	Diff line number	Diff line change
`@@ -369,7 +369,7 @@ jobs:`
`369`	`369`	`done`
`370`	`370`	`}`
`371`	`371`
`372`		`- remove_files "png"; remove_files "svg"; remove_files "pdf"; remove_files "eps";`
	`372`	`+ remove_files "png"; remove_files "svg"; remove_files "pdf"; remove_files "eps"; remove_files "gif";`
`373`	`373`
`374`	`374`	`if [ "$(find ./result_images -mindepth 1 -type d)" ]; then`
`375`	`375`	`find ./result_images/* -type d -empty -delete`