File tree Expand file tree Collapse file tree 1 file changed +24
-0
lines changed Expand file tree Collapse file tree 1 file changed +24
-0
lines changed Original file line number Diff line number Diff line change 30
30
vim -eu tools/maketags.vim
31
31
32
32
cd ..
33
+ - name : Lock mutex
34
+ uses : shogo82148/actions-mutex@v1
35
+ with :
36
+ key : ${{ github.job }}
37
+ - name : Update target
38
+ run : |
39
+ cd target
40
+ # update latest
41
+ git pull --rebase
42
+ cd ..
43
+ - name : Install new document
44
+ run : |
33
45
# install
34
46
rsync -rlptD --delete-after work/doc/ target/doc
35
47
rsync -rlptD --delete-after work/syntax/ target/syntax
75
87
make html
76
88
77
89
cd ..
90
+ - name : Lock mutex
91
+ uses : shogo82148/actions-mutex@v1
92
+ with :
93
+ key : ${{ github.job }}
94
+ - name : Update target
95
+ run : |
96
+ cd target
97
+ # update latest
98
+ git pull --rebase
99
+ cd ..
100
+ - name : Install new document
101
+ run : |
78
102
# install
79
103
cp work/target/html/doc/*.html target
80
104
- name : Commit updated master branch
You can’t perform that action at this time.
0 commit comments