Skip to content

Parse and show serialization stats#883

Merged
pgiraud merged 3 commits into
masterfrom
817_serialization
Mar 26, 2026
Merged

Parse and show serialization stats#883
pgiraud merged 3 commits into
masterfrom
817_serialization

Conversation

@pgiraud
Copy link
Copy Markdown
Member

@pgiraud pgiraud commented Mar 20, 2026

Fixes #817

It will be used elsewhere (Planning, Serialization, etc.)
@pgiraud pgiraud force-pushed the 817_serialization branch 2 times, most recently from a64e942 to b693c2b Compare March 20, 2026 14:12
@pgiraud pgiraud force-pushed the 817_serialization branch from b693c2b to 68564a9 Compare March 20, 2026 14:14
@pgiraud pgiraud merged commit b071467 into master Mar 26, 2026
2 checks passed
@pgiraud pgiraud deleted the 817_serialization branch March 26, 2026 08:18
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.

Parse and display Serialization info

1 participant