File tree 2 files changed +2
-4
lines changed
2 files changed +2
-4
lines changed Original file line number Diff line number Diff line change @@ -5,7 +5,7 @@ git config --global github.user "$GITHUB_ACTOR"
5
5
git config --global user.name " $GITHUB_ACTOR "
6
6
git config --global user.email " $GITHUB_ACTOR @users.noreply.github.com"
7
7
for tool in $CHANGED_FILES ; do
8
- echo " git add tools/$tool .exe"
8
+ git add tools/$tool .exe
9
9
done
10
10
git commit -m " Push binary to tools"
11
11
git push
Original file line number Diff line number Diff line change @@ -72,12 +72,11 @@ jobs:
72
72
DISTPATH : pytools-${{ matrix.TARGET }}
73
73
PIP_EXTRA_INDEX_URL : " https://dl.espressif.com/pypi"
74
74
steps :
75
- - name : List all changed files
75
+ - name : List changed tools
76
76
shell : bash
77
77
run : |
78
78
CHANGED_FILES=()
79
79
for file in ${{ needs.find-changed-tools.outputs.all_changed_files }}; do
80
- echo "$file got changed"
81
80
file="${file#*\/}"
82
81
file="${file%\.*}"
83
82
CHANGED_FILES+=("$file")
@@ -119,7 +118,6 @@ jobs:
119
118
{
120
119
./.github/pytools/Sign-File.ps1 -Path ./${{ env.DISTPATH }}/$node.exe
121
120
}
122
- # if exist ./${{ env.DISTPATH }}/get.exe ./.github/pytools/Sign-File.ps1 -Path ./${{ env.DISTPATH }}/get.exe
123
121
- name : Test binaries
124
122
shell : bash
125
123
run : |
You can’t perform that action at this time.
0 commit comments