Skip to content

Comments

Serializable descriptors#1527

Merged
mike0sv merged 12 commits intomainfrom
feature/run-descriptors
Apr 1, 2025
Merged

Serializable descriptors#1527
mike0sv merged 12 commits intomainfrom
feature/run-descriptors

Conversation

@mike0sv
Copy link
Collaborator

@mike0sv mike0sv commented Mar 21, 2025

No description provided.

@mike0sv mike0sv merged commit 3410438 into main Apr 1, 2025
25 checks passed
@mike0sv mike0sv deleted the feature/run-descriptors branch April 1, 2025 15:17
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.

2 participants