File tree Expand file tree Collapse file tree 1 file changed +2
-16
lines changed Expand file tree Collapse file tree 1 file changed +2
-16
lines changed Original file line number Diff line number Diff line change 3939 run : |
4040 cd docs
4141 make html
42-
43- # check code coverage, store results in the built docs.
44- # coverage.py creates a .gitignore with '*' where it's run; remove it
45- # to keep the coverage report and badge on gh-pages
46- - name : Coverage
47- # only continue if the PR is not just closed, but also merged:
48- # if: github.event.pull_request.merged == true
49- run : |
50- coverage run --source=py_template -m pytest test/*.py
51- coverage report
52- mkdir -p docs/_build/html/coverage
53- coverage html -d docs/_build/html/coverage
54- rm docs/_build/html/coverage/.gitignore
55- coverage-badge -f -o docs/_build/html/coverage/badge.svg
56-
42+
5743 # upload the built docs as an artifact so the files can be accessed
5844 # by a subsequent job in the workflow.
5945 # only store the artifact for 'retention-days'
10490 git remote set-url origin https://git:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git
10591 npx gh-pages --dotfiles --dist docs/_build/html --user "github-actions-bot <[email protected] >" --message "Update docs [skip ci]" 10692 env :
107- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
93+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
You can’t perform that action at this time.
0 commit comments