Skip to content

Added RTD setup files#74

Merged
atteggiani merged 2 commits intomainfrom
davide/setup_rtd
Dec 23, 2025
Merged

Added RTD setup files#74
atteggiani merged 2 commits intomainfrom
davide/setup_rtd

Conversation

@atteggiani
Copy link
Copy Markdown
Collaborator

@atteggiani atteggiani commented Nov 27, 2025

  • Updated GitHub pages deployment workflows
  • Added RTD config
  • Added link-checking
  • Updated ci.yml to prevent it from running when only files related to documentation are changed

My admin permissions can be revoked now (please leave write permissions).

@atteggiani atteggiani self-assigned this Nov 27, 2025
@codecov
Copy link
Copy Markdown

codecov bot commented Nov 27, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 92.14%. Comparing base (466026b) to head (96800cf).
⚠️ Report is 13 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main      #74   +/-   ##
=======================================
  Coverage   92.14%   92.14%           
=======================================
  Files          19       19           
  Lines         764      764           
  Branches      182      182           
=======================================
  Hits          704      704           
  Misses         30       30           
  Partials       30       30           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

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

@atteggiani atteggiani force-pushed the davide/setup_rtd branch 2 times, most recently from 3f88c52 to dec3211 Compare November 27, 2025 05:29
@minghangli-uni
Copy link
Copy Markdown
Collaborator

@dougiesquire could you please review this PR when you are available?

Copy link
Copy Markdown
Collaborator

@dougiesquire dougiesquire left a comment

Choose a reason for hiding this comment

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

Thanks @atteggiani. One (probably stupid) question

@atteggiani atteggiani merged commit 975625b into main Dec 23, 2025
26 of 27 checks passed
@atteggiani atteggiani deleted the davide/setup_rtd branch December 23, 2025 07:54
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.

3 participants