File tree Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -104,7 +104,7 @@ jobs:
104
104
files=$(echo "$files" | tr '\n' ' ' | sed 's/ $//')
105
105
echo "files=${files}" >> $GITHUB_OUTPUT
106
106
107
- # Lint file names
107
+ # Lint file names:
108
108
- name : ' Lint file names'
109
109
run : |
110
110
# Determine root directory:
Original file line number Diff line number Diff line change @@ -183,7 +183,7 @@ jobs:
183
183
184
184
echo "files=$files" >> $GITHUB_OUTPUT
185
185
186
- # Lint file names
186
+ # Lint file names:
187
187
- name : ' Lint file names'
188
188
run : |
189
189
# Determine root directory:
@@ -197,9 +197,9 @@ jobs:
197
197
198
198
# Lint files against EditorConfig:
199
199
- name : ' Lint against EditorConfig'
200
- if : success() || failure()
201
200
run : |
202
- make lint-editorconfig-files FILES="${{ steps.random-files.outputs.files }}"
201
+ files=$(echo "${{ steps.random-files.outputs.files }}" | tr ',' ' ')
202
+ make lint-editorconfig-files FILES="${files}"
203
203
204
204
# Lint Markdown files:
205
205
- name : ' Lint Markdown files'
You can’t perform that action at this time.
0 commit comments