mirror of
https://github.com/jazzband/django-categories.git
synced 2026-03-16 22:30:24 +00:00
Redo the doc publishing @minor
This commit is contained in:
parent
13b4cdc981
commit
ed5aa65736
1 changed files with 16 additions and 3 deletions
19
.github/workflows/python-package.yml
vendored
19
.github/workflows/python-package.yml
vendored
|
|
@ -27,9 +27,22 @@ jobs:
|
||||||
run: |
|
run: |
|
||||||
python -m pip install --upgrade pip
|
python -m pip install --upgrade pip
|
||||||
pip install -r requirements/dev.txt
|
pip install -r requirements/dev.txt
|
||||||
git config user.name github-actions
|
- name: Build documentation
|
||||||
git config user.email github-actions@github.com
|
run: |
|
||||||
make pubdocs
|
make docs
|
||||||
|
- name: Publish documentation
|
||||||
|
run: |
|
||||||
|
author_name="$(git show --format=%an -s)"
|
||||||
|
author_email="$(git show --format=%ae -s)"
|
||||||
|
echo "git config user.name $author_name"
|
||||||
|
git config user.name $author_name
|
||||||
|
echo "git config user.email $author_email"
|
||||||
|
git config user.email $author_email
|
||||||
|
echo "git remote add origin https://github.com/$GITHUB_REPOSITORY.git"
|
||||||
|
git remote add origin https://$GITHUB_ACTOR:$INPUT_GITHUB_TOKEN@github.com/$GITHUB_REPOSITORY.git
|
||||||
|
echo "git fetch origin +refs/heads/gh-pages:refs/remotes/origin/gh-pages"
|
||||||
|
git fetch origin +refs/heads/gh-pages:refs/remotes/origin/gh-pages
|
||||||
|
ghp-import -op docs
|
||||||
# - name: Sphinx Pages
|
# - name: Sphinx Pages
|
||||||
# # You may pin to the exact commit or the version.
|
# # You may pin to the exact commit or the version.
|
||||||
# # uses: seanzhengw/sphinx-pages@70dd0557fc226cfcd41c617aec5e9ee4fce4afe2
|
# # uses: seanzhengw/sphinx-pages@70dd0557fc226cfcd41c617aec5e9ee4fce4afe2
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue