Merge branch 'main' into 2025-04-promote-indexed-merkle-map

boray · boray · commit 32a3ef36afb2 · 2025-07-02T21:18:32.000+03:00
diff --git a/src/bindings/scripts/download-bindings.sh b/src/bindings/scripts/download-bindings.sh
@@ -7,7 +7,8 @@ set -e
 REV=${REV:=$(git rev-parse HEAD)}
 RUN_ID=$( \
     gh run list --commit "${REV}" --json name,databaseId | \
-    jq -r '.[] | select(.name == "Checks" or .name == "Build and upload bindings") | .databaseId' \
+    jq -r '.[] | select(.name == "Checks" or .name == "Build and upload bindings") | .databaseId' | \
+    head -1 \
   )
 
 if [ -z "$RUN_ID" ]

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,8 @@ set -e`
`7`	`7`	`REV=${REV:=$(git rev-parse HEAD)}`
`8`	`8`	`RUN_ID=$( \`
`9`	`9`	`gh run list --commit "${REV}" --json name,databaseId \| \`
`10`		`- jq -r '.[] \| select(.name == "Checks" or .name == "Build and upload bindings") \| .databaseId' \`
	`10`	`+ jq -r '.[] \| select(.name == "Checks" or .name == "Build and upload bindings") \| .databaseId' \| \`
	`11`	`+ head -1 \`
`11`	`12`	`)`
`12`	`13`
`13`	`14`	`if [ -z "$RUN_ID" ]`