fix swebench repo/version being string (#4241)

This commit is contained in:
Xingyao Wang
2024-10-07 09:01:42 -05:00
committed by GitHub
parent 93f95d85de
commit 01ae54a69d

View File

@@ -23,7 +23,7 @@ if [[ -z "$item" ]]; then
exit 1
fi
WORKSPACE_NAME=$(echo "$item" | jq -r '.repo + "__" + .version | gsub("/"; "__")')
WORKSPACE_NAME=$(echo "$item" | jq -r '(.repo | tostring) + "__" + (.version | tostring) | gsub("/"; "__")')
echo "WORKSPACE_NAME: $WORKSPACE_NAME"