docker-ci: extract report-download-github as separate file

docker-ci

@@ -29,16 +29,6 @@ EOF
 	docker images --filter='label=io.kaitai.ci=true'
 }
 
-# Downloads previous CI results from ci_artifacts repo
-download_prev()
-{
-	PREV_CI_FILE="ci_results/$TARGET$SUBTARGET/$IMPLEMENTATION-$OS-$ARCH/ci.json"
-	if [ ! -r "$PREV_CI_FILE" ]; then
-		mkdir -p $(dirname "$PREV_CI_FILE")
-		curl -sSL "https://raw.githubusercontent.com/kaitai-io/ci_artifacts/$TARGET$SUBTARGET/$IMPLEMENTATION-$OS-$ARCH/test_out/$TARGET$SUBTARGET/ci.json" -o "$PREV_CI_FILE"
-	fi
-}
-
 # Cleans up leftover binary artifacts from previous builds to make sure we're starting from scratch
 cleanup_bin()
 {
@@ -161,7 +151,7 @@ if [ -n "$GITHUB_ACTIONS" ]; then
 fi
 
 if [ "$DO_COMPARE_FLAG" = 1 ]; then
-	download_prev
+	./report-download-github "$TARGET" "$SUBTARGET" "$IMPLEMENTATION" "$OS" "$ARCH"
 fi
 
 if [ "$REBUILD_FLAG" = 1 ]; then

report-download-github

@@ -0,0 +1,14 @@
+#!/bin/sh -ef
+# Downloads previous CI results from ci_artifacts repo at GitHub
+
+TARGET=$1
+SUBTARGET=$2
+IMPLEMENTATION=$3
+OS=$4
+ARCH=$5
+
+PREV_CI_FILE="ci_results/$TARGET$SUBTARGET/$IMPLEMENTATION-$OS-$ARCH/ci.json"
+if [ ! -r "$PREV_CI_FILE" ]; then
+	mkdir -p $(dirname "$PREV_CI_FILE")
+	curl -sSL "https://raw.githubusercontent.com/kaitai-io/ci_artifacts/$TARGET$SUBTARGET/$IMPLEMENTATION-$OS-$ARCH/test_out/$TARGET$SUBTARGET/ci.json" -o "$PREV_CI_FILE"
+fi