File tree 1 file changed +9
-11
lines changed
1 file changed +9
-11
lines changed Original file line number Diff line number Diff line change 20
20
python-version : ' 3.12'
21
21
- run : pip install -r docs/build/requirements.txt
22
22
- name : Generate documentation
23
- id : generate
23
+ # id: generate
24
24
run : |
25
25
cd docs/build
26
26
python build.py
@@ -37,14 +37,12 @@ jobs:
37
37
git config --global user.email 'github-actions@github.com'
38
38
git commit -m "Update documentation"
39
39
git push -f -u origin update-docs
40
- # env:
41
- # GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
42
40
43
- # - name: Create Pull Request
44
- # uses: peter-evans/create-pull-request@v6
45
- # with:
46
- # token: ${{ secrets.GITHUB_TOKEN }}
47
- # branch: update-docs
48
- # title: 'Update Documentation'
49
- # body: 'This PR updates the documentation with the latest changes.'
50
- # labels: 'documentation'
41
+ - name : Create Pull Request
42
+ uses : peter-evans/create-pull-request@v6
43
+ with :
44
+ token : ${{ secrets.GITHUB_TOKEN }}
45
+ branch : update-docs
46
+ title : ' Update Documentation'
47
+ body : ' This PR updates the documentation with the latest changes.'
48
+ labels : ' documentation'
You can’t perform that action at this time.
0 commit comments