File tree 2 files changed +51
-2
lines changed
2 files changed +51
-2
lines changed Original file line number Diff line number Diff line change 29
29
token : ${{ secrets.GITHUB_TOKEN }}
30
30
- uses : actions/setup-python@v4
31
31
with :
32
- python-version : ' 3.10 '
32
+ python-version : ' 3.11 '
33
33
- name : Install ${{ matrix.tool.package }}
34
34
run : |
35
35
if [ -n "${{ matrix.tool.apt_dependencies }}" ]; then
63
63
- uses : actions/checkout@v3
64
64
- uses : actions/setup-python@v4
65
65
with :
66
- python-version : ' 3.10 '
66
+ python-version : ' 3.11 '
67
67
- name : Prepare environment
68
68
run : |
69
69
pwd
Original file line number Diff line number Diff line change
1
+ name : Build and Deploy to GitHub Pages
2
+
3
+ on :
4
+ push :
5
+ branches :
6
+ - ' 3.11'
7
+
8
+ jobs :
9
+ sphinx-lint :
10
+ name : Check docs (sphinx-lint)
11
+ runs-on : ubuntu-latest
12
+ steps :
13
+ - uses : actions/checkout@v3
14
+ with :
15
+ token : ${{ secrets.GITHUB_TOKEN }}
16
+ - uses : actions/setup-python@v4
17
+ with :
18
+ python-version : ' 3.11'
19
+ - name : Install sphinx-lint
20
+ run : python -m pip install --upgrade sphinx-lint
21
+ - name : Run sphinx-lint
22
+ run : ' sphinx-lint --enable default-role --ignore .git'
23
+
24
+ deploy :
25
+ name : ' Generate docs and deploy to GitHub Pages'
26
+ runs-on : ubuntu-latest
27
+ needs : sphinx-lint
28
+ timeout-minutes : 30
29
+ steps :
30
+ - uses : actions/checkout@v3
31
+ - uses : actions/setup-python@v4
32
+ with :
33
+ python-version : ' 3.11'
34
+ - name : Prepare environment
35
+ run : |
36
+ git clone https://github.com/python/cpython.git venv/cpython/
37
+ python -m pip install --upgrade pip setuptools wheel
38
+ python -m pip install -r requirements.txt -r venv/cpython/Doc/requirements.txt
39
+ - name : Make
40
+ run : make
41
+ - name : Deploy to GitHub Pages
42
+ uses : peaceiris/actions-gh-pages@v3
43
+ with :
44
+ github_token : ${{ secrets.GITHUB_TOKEN }}
45
+ publish_dir : ./venv/cpython/Doc/build/html
46
+ publish_branch : gh-pages
47
+ allow_empty_commit : true
48
+ user_name : ' github-actions[bot]'
49
+ user_email : ' github-actions[bot]@users.noreply.github.com'
You can’t perform that action at this time.
0 commit comments