File tree Expand file tree Collapse file tree 5 files changed +21
-30
lines changed Expand file tree Collapse file tree 5 files changed +21
-30
lines changed Original file line number Diff line number Diff line change @@ -40,11 +40,11 @@ jobs:
4040 fail="FALSE"
4141 merged_commit=$(git log -1 --format='%H')
4242 changed_files="$(git diff --name-status --diff-filter=ARM $BASE_SHA ${merged_commit} | awk '/\.md$/ {print $NF}')"
43-
43+
4444 echo "no_proxy=$no_proxy"
4545 echo "http_proxy=$http_proxy"
4646 echo "https_proxy=$https_proxy"
47-
47+
4848 if [ -n "$changed_files" ]; then
4949 for changed_file in $changed_files; do
5050 # echo $changed_file
@@ -118,11 +118,11 @@ jobs:
118118 merged_commit=$(git log -1 --format='%H')
119119 changed_files="$(git diff --name-status --diff-filter=ARM $BASE_SHA ${merged_commit} | awk '/\.md$/ {print $NF}')"
120120 png_lines=$(grep -Eo '\]\([^)]+\)' --include='*.md' -r .|grep -Ev 'http' | grep -Ev 'shape=' | grep -Ev 'mailto:[email protected] ') 121-
121+
122122 echo "no_proxy=$no_proxy"
123123 echo "http_proxy=$http_proxy"
124124 echo "https_proxy=$https_proxy"
125-
125+
126126 if [ -n "$png_lines" ]; then
127127 for png_line in $png_lines; do
128128 # echo "No.1----->png_line is $png_line"
Original file line number Diff line number Diff line change 99 push :
1010 branches :
1111 - master
12+ pull_request :
13+ branches :
14+ - master
1215
1316jobs :
1417 build :
@@ -18,16 +21,18 @@ jobs:
1821 pull-requests : write
1922 contents : write
2023 steps :
21- - uses : actions/checkout@v3
22- - name : Build Online Document
23- run : |
24- git config --local --get remote.origin.url
25- cd docs/build_docs
26- bash build.sh latest
24+ - uses : actions/checkout@v3
25+
26+ - name : Build Online Document
27+ run : |
28+ git config --local --get remote.origin.url
29+ cd docs/build_docs
30+ bash build.sh latest
2731
28- - name : Push to github
29- uses : peaceiris/actions-gh-pages@v3
30- with :
31- github_token : ${{ secrets.GITHUB_TOKEN }}
32- publish_dir : ./build_tmp/gh-pages
33- publish_branch : gh-pages
32+ - name : Push to github
33+ if : ${{ github.event_name == 'push' }}
34+ uses : peaceiris/actions-gh-pages@v3
35+ with :
36+ github_token : ${{ secrets.GITHUB_TOKEN }}
37+ publish_dir : ./build_tmp/gh-pages
38+ publish_branch : gh-pages
Original file line number Diff line number Diff line change 99 quantization.rst
1010 mix_precision.rst
1111 training.rst
12- benchmark.rst
1312 config.rst
1413 objective.rst
1514
Original file line number Diff line number Diff line change 1818 tf_quantization_common.rst
1919 tf_quantization_config.rst
2020 tf_quantization_autotune.rst
21-
22- **Other Modules: **
23-
24- .. toctree ::
25- :maxdepth: 1
26-
27- benchmark.rst
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments