Skip "docker pull" on scratch

tianon · tianon · commit b22f02ed1bd4 · 2020-04-27T17:21:19.000-07:00
diff --git a/scripts/github-actions/generate.sh b/scripts/github-actions/generate.sh
@@ -166,7 +166,7 @@ strategy="$(
 						end
 					)
 				] | join("\n")),
-				pull: ([ .meta.froms[] | "docker pull " + @sh ] | join("\n")),
+				pull: ([ .meta.froms[] | select(. != "scratch") | "docker pull " + @sh ] | join("\n")),
 				# build
 				# history
 				# test

Original file line number	Diff line number	Diff line change
`@@ -166,7 +166,7 @@ strategy="$(`
`166`	`166`	`end`
`167`	`167`	`)`
`168`	`168`	`] \| join("\n")),`
`169`		`- pull: ([ .meta.froms[] \| "docker pull " + @sh ] \| join("\n")),`
	`169`	`+ pull: ([ .meta.froms[] \| select(. != "scratch") \| "docker pull " + @sh ] \| join("\n")),`
`170`	`170`	`# build`
`171`	`171`	`# history`
`172`	`172`	`# test`