File tree Expand file tree Collapse file tree 1 file changed +14
-14
lines changed Expand file tree Collapse file tree 1 file changed +14
-14
lines changed Original file line number Diff line number Diff line change @@ -25,19 +25,19 @@ jobs:
25
25
make html
26
26
27
27
- name : Commit documentation changes
28
- run : |
29
- git clone https://github.com/thijor/pyntbci.git --branch gh-pages --single-branch gh-pages
30
- cp -r doc/_build/html/* gh-pages/
31
- cd gh-pages
32
- touch .nojekyll
33
- git config --local user.email "action@github.com"
34
- git config --local user.name "GitHub Action"
35
- git add .
36
- git commit -m "Update documentation" -a || true
28
+ run : |
29
+ git clone https://github.com/thijor/pyntbci.git --branch gh-pages --single-branch gh-pages
30
+ cp -r doc/_build/html/* gh-pages/
31
+ cd gh-pages
32
+ touch .nojekyll
33
+ git config --local user.email "action@github.com"
34
+ git config --local user.name "GitHub Action"
35
+ git add .
36
+ git commit -m "Update documentation" -a || true
37
37
38
38
- name : Push changes
39
- uses : ad-m/github-push-action@master
40
- with :
41
- branch : gh-pages
42
- directory : gh-pages
43
- github_token : ${{ secrets.GITHUB_TOKEN }}
39
+ uses : ad-m/github-push-action@master
40
+ with :
41
+ branch : gh-pages
42
+ directory : gh-pages
43
+ github_token : ${{ secrets.GITHUB_TOKEN }}
You can’t perform that action at this time.
0 commit comments