File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -313,11 +313,6 @@ jobs:
313313 - name : Run default clippy linting
314314 run : |
315315 ./ci/check-lint.sh
316- - name : Check Unicode general-category table is up to date
317- run : |
318- curl --proto '=https' --tlsv1.2 -fsSL -o /tmp/UnicodeData.txt https://www.unicode.org/Public/UCD/latest/ucd/UnicodeData.txt
319- contrib/gen_unicode_general_category.py /tmp/UnicodeData.txt -o /tmp/unicode.rs
320- diff -u lightning-types/src/unicode.rs /tmp/unicode.rs
321316
322317 rustfmt :
323318 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 1+ name : Unicode listing up to date
2+ on :
3+ workflow_dispatch :
4+ schedule :
5+ - cron : ' 42 3 * * *'
6+
7+ check-unicode :
8+ runs-on : ubuntu-latest
9+ permissions :
10+ issues : write
11+ steps :
12+ - name : Check unicode file state
13+ env :
14+ GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
15+ run : |
16+ curl --proto '=https' --tlsv1.2 -fsSL -o /tmp/UnicodeData.txt https://www.unicode.org/Public/UCD/latest/ucd/UnicodeData.txt
17+ contrib/gen_unicode_general_category.py /tmp/UnicodeData.txt -o /tmp/unicode.rs
18+ if ! diff -u lightning-types/src/unicode.rs /tmp/unicode.rs; then
19+ TITLE="Unicode listing out of date: ${{ github.workflow }}"
20+ RUN_URL="https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}"
21+ BODY="The unicode character listing is out of date, see $RUN_URL"
22+ gh issue create --title "$TITLE" --body "$BODY"
23+ fi
You can’t perform that action at this time.
0 commit comments