CI: suppress sort "Broken pipe" warnings

ctrueden · ctrueden · commit c712235a724a · 2023-03-10T20:35:30.000-06:00
Apparently, it's completely normal in this sort of use where it's paired with head, since head closes the stream after printing the requested number of leading lines: https://stackoverflow.com/a/46203242/1207769
diff --git a/.github/build.sh b/.github/build.sh
@@ -7,7 +7,7 @@ last_cache_modified() {
   find "$HOME/.cache/scijava/melting-pot" -type f | while read f
   do
     stat -c '%Y' "$f"
-  done | sort -nr | head -n1
+  done | sort -nr 2>/dev/null | head -n1
 }
 
 # Record the last time of cache modification before running melting-pot

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@ last_cache_modified() {`
`7`	`7`	`find "$HOME/.cache/scijava/melting-pot" -type f \| while read f`
`8`	`8`	`do`
`9`	`9`	`stat -c '%Y' "$f"`
`10`		`- done \| sort -nr \| head -n1`
	`10`	`+ done \| sort -nr 2>/dev/null \| head -n1`
`11`	`11`	`}`
`12`	`12`
`13`	`13`	`# Record the last time of cache modification before running melting-pot`