Skip to content

new mechanism for reserved fields as mentioned in Issue #21 #6

new mechanism for reserved fields as mentioned in Issue #21

new mechanism for reserved fields as mentioned in Issue #21 #6

Workflow file for this run

name: Unicode check
on:
pull_request:
branches:
- JSON
push:
branches:
- JSON
jobs:
check-unicode:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Check for unicode in sail files
run: |
if git diff --exit-code --name-only ${{ github.base_ref }}..${{ github.head_ref }} | grep -E '\.sail$' | xargs grep -Pl "[\u2200-\u22FF]" --null --files-with-matches; then
echo "Error: Found unicode characters in Sail code"
exit 1
fi