Skip to content

chore: build and deploy Sphinx docs via GitHub Actions#50

Merged
ArthurBernard merged 1 commit into
masterfrom
chore/docs-github-pages
May 12, 2026
Merged

chore: build and deploy Sphinx docs via GitHub Actions#50
ArthurBernard merged 1 commit into
masterfrom
chore/docs-github-pages

Conversation

@ArthurBernard
Copy link
Copy Markdown
Owner

Summary

  • Adds .github/workflows/docs.yml to replace Read the Docs (which wasn't rebuilding)
  • On every PR: sphinx-build -W --keep-going validates the doc (CI rouge si warning Sphinx)
  • On every push to master: build + deploy automatique sur GitHub Pages

Test plan

  • Vérifier que le job build passe sur cette PR
  • Merger → vérifier que le job deploy se déclenche et que la doc est accessible sur GitHub Pages
  • Désactiver les builds automatiques sur readthedocs.org une fois GitHub Pages validé

@codecov-commenter
Copy link
Copy Markdown

⚠️ Please install the 'codecov app svg image' to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

✅ All modified and coverable lines are covered by tests.
❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@ArthurBernard ArthurBernard merged commit 2a07fa0 into master May 12, 2026
7 checks passed
@ArthurBernard ArthurBernard deleted the chore/docs-github-pages branch May 12, 2026 20:59
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.

2 participants