Commit 194cd80 1 parent ec82378 commit 194cd80 Copy full SHA for 194cd80
File tree 1 file changed +10
-9
lines changed
1 file changed +10
-9
lines changed Original file line number Diff line number Diff line change @@ -114,16 +114,17 @@ jobs:
114
114
shell : bash
115
115
run : |
116
116
set -euxo pipefail
117
+ echo GITHUB_WORKSPACE: "${GITHUB_WORKSPACE}"
117
118
118
- if [[ -d "${GITHUB_WORKSPACE}" ]]; then
119
- if [[ "${NO_SUDO}" == "false" ]]; then
120
- echo "::group::Cleanup with-sudo debug output"
121
- sudo rm -rf "${GITHUB_WORKSPACE}"
122
- else
123
- echo "::group::Cleanup no-sudo debug output"
124
- rm -rf "${GITHUB_WORKSPACE}"
125
- fi
126
- fi
119
+ # if [[ -d "${GITHUB_WORKSPACE}" ]]; then
120
+ # if [[ "${NO_SUDO}" == "false" ]]; then
121
+ # echo "::group::Cleanup with-sudo debug output"
122
+ # sudo rm -rf "${GITHUB_WORKSPACE}"
123
+ # else
124
+ # echo "::group::Cleanup no-sudo debug output"
125
+ # rm -rf "${GITHUB_WORKSPACE}"
126
+ # fi
127
+ # fi
127
128
128
129
mkdir -p "${GITHUB_WORKSPACE}"
129
130
echo "::endgroup::"
You can’t perform that action at this time.
0 commit comments