File tree 1 file changed +4
-19
lines changed
1 file changed +4
-19
lines changed Original file line number Diff line number Diff line change @@ -19,29 +19,14 @@ jobs:
19
19
with :
20
20
python-version : ' 3.12'
21
21
- run : pip install -r docs/build/requirements.txt
22
- - name : Generate documentation
23
- # id: generate
24
- run : |
25
- cd docs/build
26
- python build.py
27
- # git diff --quiet && DIFF=false || DIFF=true
28
- # echo $DIFF
29
- # echo "diff=$DIFF" >> $GITHUB_OUTPUT
30
-
31
- # - name: Commit and push changes
32
- # # if: steps.generate.outputs.diff == 'true'
33
- # run: |
34
- # git checkout -b update-docs
35
- # git add docs/api-reference
36
- # git config --global user.name 'github-actions'
37
- # git config --global user.email 'github-actions@github.com'
38
- # git commit -m "Update documentation"
39
- # git push -f -u origin update-docs
40
-
22
+ - run : python build.py
23
+ working-directory : ./docs/build
41
24
- name : Create Pull Request
42
25
uses : peter-evans/create-pull-request@v6
43
26
with :
27
+ commit-message : Update documentation
44
28
branch : update-docs
29
+ delete-branch : true
45
30
title : ' Update Documentation'
46
31
body : ' This PR updates the documentation with the latest changes.'
47
32
labels : ' documentation'
You can’t perform that action at this time.
0 commit comments