Skip to content

ordeq: introduce IO loaders & savers#493

Merged
nielsneerhoff merged 22 commits into
mainfrom
savers
Dec 10, 2025
Merged

ordeq: introduce IO loaders & savers#493
nielsneerhoff merged 22 commits into
mainfrom
savers

Conversation

@nielsneerhoff
Copy link
Copy Markdown
Member

No description provided.

@nielsneerhoff nielsneerhoff added the internal Non-functional changes label Dec 2, 2025
@nielsneerhoff nielsneerhoff marked this pull request as ready for review December 2, 2025 16:25
@nielsneerhoff nielsneerhoff enabled auto-merge (squash) December 2, 2025 16:25
@nielsneerhoff nielsneerhoff changed the title ordeq: introduce IO savers ordeq: introduce IO loaders & savers Dec 5, 2025
@nielsneerhoff nielsneerhoff merged commit 3e98fe8 into main Dec 10, 2025
41 checks passed
@nielsneerhoff nielsneerhoff deleted the savers branch December 10, 2025 16:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal Non-functional changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant