Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

documentation: update ci for new website setup #2221

Merged
merged 2 commits into from
Oct 4, 2023
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
documentation: update ci for new website setup
  • Loading branch information
mloubout committed Oct 4, 2023
commit 798d2fffee15fa54fa7a9b145de236e98e98600f
27 changes: 5 additions & 22 deletions .github/workflows/documentation.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,31 +7,14 @@ on:

jobs:
build:

runs-on: ubuntu-latest

steps:
- uses: actions/checkout@v3
- name: Set up Python
uses: actions/setup-python@v4
with:
# TODO: 3.x should be fine, but for now we enforce 3.10 to work around
# the "fatal error: longintrepr.h: No such file or directory" error
# triggered by revolve/cython in 3.11
python-version: '3.10'
- name: Install Sphinx
run: |
python -m pip install --upgrade pip
pip install sphinx sphinx_rtd_theme
pip install -e .

- name: Generate documentation
working-directory: docs
run: make html

- name: Deploy
uses: peaceiris/actions-gh-pages@v3
- name: Repository Dispatch
uses: peter-evans/repository-dispatch@v2
with:
personal_token: ${{ secrets.PERSONAL_TOKEN }}
publish_branch: gh-pages
publish_dir: ./docs/_build/html
token: ${{ secrets.PERSONAL_TOKEN }}
repository: devitocodes/devitoproject.org
event-type: deploy-docs
225 changes: 0 additions & 225 deletions docs/Makefile

This file was deleted.

Loading
Loading