Skip to content

Commit e764913

Browse files
authored
Readd zero-width space from where we shouldn't remove
1 parent 8478678 commit e764913

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

.github/workflows/check.yml

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -205,7 +205,9 @@ jobs:
205205
- name: Remove zero-width space characters
206206
run: |
207207
sed -i 's/\xe2\x80\x8b//g' *.po **/*.po
208+
# Undo removal from where we should not
209+
sed -i 's|`````|``​`​``|' reference/lexical_analysis.po
208210
209211
- name: Show difference (error if there is any)
210212
run: |
211-
git diff -I'^msgid ' --exit-code --color-words
213+
git diff --exit-code --color-words

0 commit comments

Comments
 (0)