File tree Expand file tree Collapse file tree 1 file changed +10
-10
lines changed Expand file tree Collapse file tree 1 file changed +10
-10
lines changed Original file line number Diff line number Diff line change 4
4
push :
5
5
branches :
6
6
- main
7
- - release-0.29
8
7
- release-0.30
9
8
- release-0.31
9
+ - release-0.32
10
10
11
11
permissions :
12
12
contents : read
@@ -47,36 +47,36 @@ jobs:
47
47
- uses : actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
48
48
with :
49
49
fetch-depth : 0
50
- ref : release-0.29
51
- - name : Build release-0.29
50
+ ref : release-0.30
51
+ - name : Build release-0.30
52
52
run : |
53
53
GITHUB_SHA=$(git rev-parse HEAD)
54
54
export GITHUB_SHA
55
55
rm -rf _work/venv
56
56
make vhtml
57
- mv _build/html $HOME/output/0.29
57
+ mv _build/html $HOME/output/0.30
58
58
- uses : actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
59
59
with :
60
60
fetch-depth : 0
61
- ref : release-0.30
62
- - name : Build release-0.30
61
+ ref : release-0.31
62
+ - name : Build release-0.31
63
63
run : |
64
64
GITHUB_SHA=$(git rev-parse HEAD)
65
65
export GITHUB_SHA
66
66
rm -rf _work/venv
67
67
make vhtml
68
- mv _build/html $HOME/output/0.30
68
+ mv _build/html $HOME/output/0.31
69
69
- uses : actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
70
70
with :
71
71
fetch-depth : 0
72
- ref : release-0.31
73
- - name : Build release-0.31
72
+ ref : release-0.32
73
+ - name : Build release-0.32
74
74
run : |
75
75
GITHUB_SHA=$(git rev-parse HEAD)
76
76
export GITHUB_SHA
77
77
rm -rf _work/venv
78
78
make vhtml
79
- mv _build/html $HOME/output/0.31
79
+ mv _build/html $HOME/output/0.32
80
80
- name : Deploy the docs
81
81
shell : bash
82
82
env :
You can’t perform that action at this time.
0 commit comments