Skip to content

Conversation

@lionelkusch
Copy link
Collaborator

I moved the configuration and other tools of the documentation into a side folder.
I updated the way the files are generated.

I did this in a way of not mixing the documentation itself with the file for generating it.

@lionelkusch lionelkusch added the documentation Improvements or additions to documentation label Jun 26, 2025
@codecov
Copy link

codecov bot commented Jun 26, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 99.69%. Comparing base (a7945ab) to head (0847dad).

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #304   +/-   ##
=======================================
  Coverage   99.69%   99.69%           
=======================================
  Files          19       19           
  Lines         987      987           
=======================================
  Hits          984      984           
  Misses          3        3           

☔ 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.

Copy link
Collaborator

@bthirion bthirion left a comment

Choose a reason for hiding this comment

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

Looks mostly good, thx.

Copy link
Collaborator

@jpaillard jpaillard left a comment

Choose a reason for hiding this comment

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

I am a bit lost and would not know where to find what.
Can we add a markdown file with the repo's folder architecture? And where to find what? It could, for instance be in the documentation_developer

Copy link
Collaborator

@jpaillard jpaillard left a comment

Choose a reason for hiding this comment

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

Ok, I'll follow-up on #307

Copy link
Collaborator

@bthirion bthirion left a comment

Choose a reason for hiding this comment

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

LGTM, thx.

@lionelkusch lionelkusch merged commit d80bf73 into mind-inria:main Jul 7, 2025
19 checks passed
@lionelkusch lionelkusch deleted the PR_move_doc branch July 7, 2025 09:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants