Skip to content

Documentation setup#17

Merged
atteggiani merged 2 commits into
mainfrom
davide/rtd_setup
Feb 11, 2026
Merged

Documentation setup#17
atteggiani merged 2 commits into
mainfrom
davide/rtd_setup

Conversation

@atteggiani
Copy link
Copy Markdown
Collaborator

  • Exclude paths from CI
  • Added RTD setup files
  • Added documentation folder with setup files
  • Added check links workflow

@atteggiani atteggiani self-assigned this Feb 11, 2026
Copy link
Copy Markdown
Collaborator

@minghangli-uni minghangli-uni left a comment

Choose a reason for hiding this comment

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

I'll approve this PR without review since this is already implemented in multiple ACCESS repos. Thanks @atteggiani !

@atteggiani
Copy link
Copy Markdown
Collaborator Author

atteggiani commented Feb 11, 2026

I will merge.

@atteggiani atteggiani merged commit 1aa503f into main Feb 11, 2026
3 checks passed
@atteggiani atteggiani deleted the davide/rtd_setup branch February 11, 2026 05:48
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