Skip to content

Commit bd3e0d3

Browse files
authored
Update github.sh
1 parent 3708034 commit bd3e0d3

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

actions/instrument/shared/github.sh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ gh_workflow_run() {
3636
export -f gh_workflow_run
3737

3838
gh_workflow_run_logs() {
39-
wget --header="Authorization: Bearer $INPUT_GITHUB_TOKEN" "${GITHUB_API_URL:-https://api.github.com}"/repos/"$GITHUB_REPOSITORY"/actions/runs/"$1"/attempts/"$2"/logs -O "$3"
39+
wget -q --header="Authorization: Bearer $INPUT_GITHUB_TOKEN" "${GITHUB_API_URL:-https://api.github.com}"/repos/"$GITHUB_REPOSITORY"/actions/runs/"$1"/attempts/"$2"/logs -O "$3"
4040
}
4141
export -f gh_workflow_run_logs
4242

@@ -57,7 +57,7 @@ export -f gh_artifacts
5757

5858
gh_artifact_download() {
5959
local artifact_filename="$(mktemp)"
60-
gh_curl /actions/runs/"$1"/artifacts'?per_page=1&'name="$3" | jq '.artifacts[0].id' | grep -v '^null$' | xargs -r -I '{}' bash -c 'gh_curl "$@"' bash /actions/artifacts/'{}'/zip --head | tr -d '\r' | grep '^location:' | cut -d ' ' -f 2- | xargs -r wget -O "$artifact_filename" && [ -r "$artifact_filename" ] && unzip "$artifact_filename" -d "$4" && rm "$artifact_filename"
60+
gh_curl /actions/runs/"$1"/artifacts'?per_page=1&'name="$3" | jq '.artifacts[0].id' | grep -v '^null$' | xargs -r -I '{}' bash -c 'gh_curl "$@"' bash /actions/artifacts/'{}'/zip --head | tr -d '\r' | grep '^location:' | cut -d ' ' -f 2- | xargs -r wget -q -O "$artifact_filename" && [ -r "$artifact_filename" ] && unzip "$artifact_filename" -d "$4" && rm "$artifact_filename"
6161
}
6262
export -f gh_artifact_download
6363

0 commit comments

Comments
 (0)