3 commits

Author	SHA1	Message	Date
Peter Tripp	5b9916e34b	ci: Add shellcheck for scripts (#20631) ... Fixes shellcheck errors in script/* Adds a couple trailing newlines. Adds `script/shellcheck-scripts` and associated CI machinery. Current set ultra-conservative, does not output warnings, only errors.	2024-11-18 16:41:22 -05:00
Max Brunsfeld	68260a48bb	Don't error when checking target dir size if there is no target dir	2024-01-23 17:17:47 -08:00
Max Brunsfeld	3550110e57	ci: clear the target dir if it gets too big	2023-05-11 09:43:13 -07:00