Skip to content

Merge branch 'master' of https://github.com/zenustech/zeno #3840

Merge branch 'master' of https://github.com/zenustech/zeno

Merge branch 'master' of https://github.com/zenustech/zeno #3840

Workflow file for this run

name: Code Style
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
check:
runs-on: ubuntu-latest
steps:
- name: Checkout Repo
uses: actions/checkout@v2
- name: Check UTF-8
run: python misc/tools/scanutf8.py check
#- name: Escape UTF-8
#run: python misc/tools/scanutf8.py escape