Skip to content

promote: dev to stage (CI reliability) - #67

Merged
try-works merged 1 commit into
stagefrom
dev
Jul 19, 2026
Merged

promote: dev to stage (CI reliability)#67
try-works merged 1 commit into
stagefrom
dev

Conversation

@try-works

Copy link
Copy Markdown
Owner

Promote the CI reliability correction from dev to stage.

  • Source tip: 52f672f
  • Post-merge dev CI: passed
  • Change: serialize runtime-host integration tests between the ordinary workspace batch and Pi

Tracker: #61

@try-works
try-works merged commit 8cbf120 into stage Jul 19, 2026
17 checks passed
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 19, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant