File tree 1 file changed +9
-0
lines changed
1 file changed +9
-0
lines changed Original file line number Diff line number Diff line change 5
5
branches :
6
6
- main
7
7
- 1.4.x
8
+ tags :
9
+ - ' *'
8
10
pull_request :
9
11
branches :
10
12
- main
49
51
- name : Build documentation
50
52
run : doc/make.py --warnings-are-errors
51
53
54
+ - name : Build documentation zip
55
+ run : doc/make.py zip_html
56
+
52
57
- name : Build the interactive terminal
53
58
run : |
54
59
cd web/interactive_terminal
73
78
run : rsync -az --delete doc/build/html/ docs@${{ secrets.server_ip }}:/usr/share/nginx/pandas/pandas-docs/dev
74
79
if : github.event_name == 'push' && github.ref == 'refs/heads/main'
75
80
81
+ - name : Upload prod docs
82
+ run : rsync -az --delete doc/build/html/ docs@${{ secrets.server_ip }}:/usr/share/nginx/pandas/pandas-docs/version/${GITHUB_REF_NAME}
83
+ if : github.event_name == 'push' && startsWith(github.ref, 'refs/tags/')
84
+
76
85
- name : Move docs into site directory
77
86
run : mv doc/build/html web/build/docs
78
87
You can’t perform that action at this time.
0 commit comments