Skip to content

changes to status and def#316

Merged
raphael-goetz merged 5 commits into
mainfrom
#315-changes-to-status-and-def
Jun 7, 2026
Merged

changes to status and def#316
raphael-goetz merged 5 commits into
mainfrom
#315-changes-to-status-and-def

Conversation

@raphael-goetz

Copy link
Copy Markdown
Member

Resolves: #315

@raphael-goetz raphael-goetz requested a review from nicosammito June 7, 2026 08:05
Comment thread proto/shared/shared.runtime_status.proto
Comment thread proto/shared/shared.runtime_status.proto Outdated
Comment thread proto/shared/shared.module.proto
Comment thread proto/shared/shared.runtime_status.proto
@raphael-goetz raphael-goetz merged commit aa8b066 into main Jun 7, 2026
4 checks passed
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.

Changes to status and definition

3 participants