Skip to content

Up dep graph#496

Merged
jbcaillau merged 1 commit intomainfrom
495-doc-review-graph-dependencies
May 4, 2025
Merged

Up dep graph#496
jbcaillau merged 1 commit intomainfrom
495-doc-review-graph-dependencies

Conversation

@ocots
Copy link
Member

@ocots ocots commented May 4, 2025

Closes #495.

@ocots ocots linked an issue May 4, 2025 that may be closed by this pull request
@ocots ocots requested a review from jbcaillau May 4, 2025 08:26
@ocots
Copy link
Member Author

ocots commented May 4, 2025

@jbcaillau Please review and merge.

Copy link
Member

@jbcaillau jbcaillau left a comment

Choose a reason for hiding this comment

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

👍🏽

note: we keep in mind that some dependences can actually be in tests

@jbcaillau jbcaillau merged commit 924254d into main May 4, 2025
5 checks passed
@jbcaillau jbcaillau deleted the 495-doc-review-graph-dependencies branch May 4, 2025 08:38
@ocots
Copy link
Member Author

ocots commented May 4, 2025

👍🏽

note: we keep in mind that some dependences can actually be in tests

Yep. We can have dash arrows or...

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.

[Doc] Review graph dependencies

2 participants