@@ -17,10 +17,10 @@ jobs:
17
17
git remote add upstream https://github.com/pingcap/blog.git;
18
18
git fetch upstream;
19
19
wget https://raw.githubusercontent.com/pingcap/docs/master/scripts/check-file-encoding.py;
20
- python3 check-file-encoding.py $(git diff-tree --name-only --no-commit-id -r upstream/master..HEAD -- '*.md')
20
+ python3 check-file-encoding.py $(git diff-tree --name-only --no-commit-id -r upstream/master..HEAD -- '*.md' ':(exclude).github/*' )
21
21
- name : " Check front matters"
22
22
run :
23
- python3 ./hack/check-front-matters.py $(git diff-tree --name-only --no-commit-id -r upstream/master..HEAD -- '*.md')
23
+ python3 ./hack/check-front-matters.py $(git diff-tree --name-only --no-commit-id -r upstream/master..HEAD -- '*.md' ':(exclude).github/*' )
24
24
- name : Markdown lint
25
25
uses : avto-dev/markdown-lint@v1
26
26
with :
@@ -29,24 +29,24 @@ jobs:
29
29
- name : " Check control characters"
30
30
run :
31
31
wget https://raw.githubusercontent.com/pingcap/docs/master/scripts/check-control-char.py;
32
- python3 check-control-char.py $(git diff-tree --name-only --no-commit-id -r upstream/master..HEAD -- '*.md')
32
+ python3 check-control-char.py $(git diff-tree --name-only --no-commit-id -r upstream/master..HEAD -- '*.md' ':(exclude).github/*' )
33
33
- name : " Check unclosed tags"
34
34
run :
35
35
wget https://raw.githubusercontent.com/pingcap/docs/master/scripts/check-tags.py;
36
- python3 check-tags.py $(git diff-tree --name-only --no-commit-id -r upstream/master...HEAD -- '*.md')
36
+ python3 check-tags.py $(git diff-tree --name-only --no-commit-id -r upstream/master...HEAD -- '*.md' ':(exclude).github/*' )
37
37
- name : " Check Chinese punctuation"
38
38
run :
39
39
wget https://raw.githubusercontent.com/pingcap/docs/master/scripts/check-zh-punctuation.py;
40
40
pip3 install zhon;
41
- python3 check-zh-punctuation.py $(git diff-tree --name-only --no-commit-id -r upstream/master..HEAD -- '*.md')
41
+ python3 check-zh-punctuation.py $(git diff-tree --name-only --no-commit-id -r upstream/master..HEAD -- '*.md' ':(exclude).github/*' )
42
42
- name : Verify internal links
43
43
run : ./hack/verify-links-doc.sh
44
44
# - name: Verify internal link anchors
45
45
# run: ./hack/verify-link-anchors.sh
46
46
- name : " Check manual line breaks"
47
47
run :
48
48
wget https://raw.githubusercontent.com/pingcap/docs/master/scripts/check-manual-line-breaks.py;
49
- python3 check-manual-line-breaks.py $(git diff-tree --name-only --no-commit-id -r upstream/master..HEAD -- '*.md')
49
+ python3 check-manual-line-breaks.py $(git diff-tree --name-only --no-commit-id -r upstream/master..HEAD -- '*.md' ':(exclude).github/*' )
50
50
- name : " Check < symbols"
51
51
run :
52
- python3 ./hack/check-special-marks.py $(git diff-tree --name-only --no-commit-id -r upstream/master..HEAD -- '*.md')
52
+ python3 ./hack/check-special-marks.py $(git diff-tree --name-only --no-commit-id -r upstream/master..HEAD -- '*.md' ':(exclude).github/*' )
0 commit comments