Skip to content

some fixes and updates in user/tuto documentation#57

Merged
olivhoenen merged 3 commits intoiterorganization:developfrom
olivhoenen:fix/user-documentation
Mar 26, 2026
Merged

some fixes and updates in user/tuto documentation#57
olivhoenen merged 3 commits intoiterorganization:developfrom
olivhoenen:fix/user-documentation

Conversation

@olivhoenen
Copy link
Copy Markdown
Contributor

Spotted by @hrdoktorx

Copy link
Copy Markdown

@hrdoktorx hrdoktorx left a comment

Choose a reason for hiding this comment

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

Thank you. All good things.

@olivhoenen olivhoenen force-pushed the fix/user-documentation branch from d3f7ead to 969f194 Compare March 25, 2026 14:52
Co-authored-by: Simon Pinches <SimonPinches@users.noreply.github.com>
@olivhoenen
Copy link
Copy Markdown
Contributor Author

olivhoenen commented Mar 26, 2026

@Yannicked it seems that develop is not passing Ty type checks anymore? I thought it was addressed in #35 so either some of the code has changed or newer Ty version may be the cause.

@olivhoenen
Copy link
Copy Markdown
Contributor Author

@Yannicked it seems that develop is not passing Ty type checks anymore? I thought it was addressed in #35 so either some of the code has changed or newer Ty version may be the cause.

As discussed, this will be fixed by fixing Ty to a given version for the time being (not in this PR as we are going to cherry pick the commit for the next 0.14 patch release).

@olivhoenen olivhoenen merged commit e2e8d62 into iterorganization:develop Mar 26, 2026
5 of 8 checks passed
@deepakmaroo deepakmaroo mentioned this pull request Mar 27, 2026
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.

4 participants