Skip to content

Change documentation to Github Pages - #191

Merged
yguclu merged 17 commits into
masterfrom
update_docs
Oct 1, 2026
Merged

yguclu merged 17 commits into
masterfrom
update_docs

Conversation

@FrederikSchnack

@FrederikSchnack FrederikSchnack commented Sep 29, 2026 •

Copy link
Copy Markdown
Contributor

Summary

This is the second PR for the general SymPDE improvements.

Modernize SymPDE’s documentation infrastructure and migrate hosted documentation to GitHub Pages. Closes #166.

Changes

  • Repair the Sphinx configuration so documentation builds cleanly with warnings treated as errors.

  • Add a dedicated documentation workflow based on the maintained Psydac setup.

  • Run documentation checks when pull requests are opened, reopened, synchronized, or marked ready for review.

  • Build the documentation with:

    python -m sphinx -W --keep-going -b html doc doc/_build/html

  • Configure GitHub Pages artifact creation and deployment.

  • Restrict deployment to pushes to master; pull requests only build and validate the documentation.

  • Remove the obsolete Read the Docs configuration.

  • Update the documentation badge and project URL to point to GitHub Pages.

  • Correct documentation and docstring issues exposed by strict Sphinx builds.

Required GitHub repository configuration

With this PR, a repository administrator must enable GitHub Pages deployment through GitHub Actions:

  1. Open the repository on GitHub.
  2. Go to Settings → Pages.
  3. Under Build and deployment, set Source to GitHub Actions.
  4. Ensure GitHub Actions are enabled under Settings → Actions → General.
  5. Push to master or manually run the Documentation workflow to perform the initial deployment.
  6. Change the exposed URL in the repo with the link to the Github Pages deployment.

No publishing branch or directory needs to be selected. The workflow uploads the generated HTML as a Pages artifact and deploys it through the github-pages environment.

@FrederikSchnack
FrederikSchnack added this pull request to stack #192 September 29, 2026 15:21
@FrederikSchnack FrederikSchnack mentioned this pull request Sep 29, 2026
Base automatically changed from repo_maintenance to master October 1, 2026 08:29
Add reproducible GitHub Actions and Read the Docs builds, replace shell-based API generation, configure bibliography and MathJax support, and correct malformed API docstrings.

Addresses the failing documentation setup reported in #166.

Fixes the Domain.join documentation problem reported in #140.
Use the maintained Sphinx build layout while keeping documentation CI separate from the test matrix.
Publish strict Sphinx builds from master through GitHub Pages, matching the Psydac documentation workflow. Update project links and remove the obsolete Read the Docs configuration.

Addresses #166.
Build the documentation when pull requests are opened, reopened, or synchronized, in addition to ready-for-review transitions.
Restore the detailed multipatch orientation reference and connectivity examples that were removed while repairing the documentation build.
Keep the full multipatch connectivity notes while marking their example as a Python code block so strict documentation builds remain warning-free.

@yguclu yguclu left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good job! I have a couple of comments

Comment thread sympde/topology/mapping.py Outdated
Comment thread sympde/topology/mapping.py Outdated
Comment thread sympde/topology/mapping.py Outdated
Comment thread .github/workflows/documentation.yml Outdated
Comment thread sympde/topology/domain.py Outdated
Comment thread README.md Outdated
FrederikSchnack and others added 7 commits October 1, 2026 11:33
Co-authored-by: Yaman Güçlü <yaman.guclu@gmail.com>
Co-authored-by: Yaman Güçlü <yaman.guclu@gmail.com>
Co-authored-by: Yaman Güçlü <yaman.guclu@gmail.com>
Co-authored-by: Yaman Güçlü <yaman.guclu@gmail.com>
Co-authored-by: Yaman Güçlü <yaman.guclu@gmail.com>

@yguclu yguclu left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

When reviewing PR #190 I forgot that the CHANGELOG.md file should contain an "Unreleased" section for us to fill in while we merge the various pull requests. I have just added that section; could you please update it with the changes from #190 and this PR?

@FrederikSchnack

Copy link
Copy Markdown
Contributor Author

When reviewing PR #190 I forgot that the CHANGELOG.md file should contain an "Unreleased" section for us to fill in while we merge the various pull requests. I have just added that section; could you please update it with the changes from #190 and this PR?

Done in 4421d79. I will add it for the following PRs as well when we get to them.

Comment thread CHANGELOG.md Outdated
Comment thread CHANGELOG.md Outdated
Comment thread CHANGELOG.md
@yguclu
yguclu merged commit 554543e into master Oct 1, 2026
15 checks passed
@yguclu
yguclu deleted the update_docs branch October 1, 2026 16:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Failing readthedocs build

2 participants