File tree 1 file changed +36
-0
lines changed
1 file changed +36
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : Docs
2
+
3
+ on :
4
+ pull_request : # change to 'push'
5
+ branches :
6
+ - master
7
+
8
+ jobs :
9
+ docs :
10
+ runs-on : ubuntu-latest
11
+ steps :
12
+ - uses : actions/checkout@v1
13
+ - uses : actions/setup-python@v1
14
+ # - name: Build docs
15
+ # run: |
16
+ # pip install tox
17
+ # tox -e docs
18
+ - name : Publish to gh-pages
19
+ run : |
20
+ # pwd
21
+ # cp -R docs/_build/html/* docs/
22
+ # rm -rf docs/build/
23
+ # ls -lah docs/
24
+ # git add -f docs/
25
+ # echo 'GITHUB_EVENT_PATH'
26
+ # echo $GITHUB_EVENT_PATH
27
+ # cat $GITHUB_EVENT_PATH
28
+ # echo 'GITHUB_ACTOR'
29
+ # echo $GITHUB_ACTOR
30
+ # echo 'GITHUB_EVENT_NAME'
31
+ git config --global user.email "libc@google.com"
32
+ git config --global user.name "Chris Kleinknecht"
33
+ git commit -m "Publish to GH pages"
34
+ echo "nop"
35
+ echo "git@github.com:${GITHUB_REPOSITORY}.git"
36
+ git push -f "git@github.com:${GITHUB_REPOSITORY}.git" HEAD:gh-pages
You can’t perform that action at this time.
0 commit comments