Skip to content

chore: fix WinGet pipeline#63

Merged
rmanibus merged 1 commit into
mainfrom
shore/fix_winget
Mar 7, 2026
Merged

chore: fix WinGet pipeline#63
rmanibus merged 1 commit into
mainfrom
shore/fix_winget

Conversation

@rmanibus
Copy link
Copy Markdown
Contributor

@rmanibus rmanibus commented Mar 7, 2026

Summary

Fix the WinGet pipeline configuration.

What Changes

  • Pipeline/workflow adjustments for WinGet publishing/validation.

Notes

  • Maintenance-only PR.
  • No runtime feature behavior changes expected.

@rmanibus rmanibus merged commit ecd89b5 into main Mar 7, 2026
1 check passed
@rmanibus rmanibus deleted the shore/fix_winget branch March 7, 2026 14:29
rmanibus added a commit that referenced this pull request Mar 7, 2026
rmanibus added a commit that referenced this pull request Mar 10, 2026
@rmanibus rmanibus changed the title shore: fix winget pipeline chore: fix WinGet pipeline Mar 15, 2026
@rmanibus rmanibus added the chore Maintenance and tooling changes label Mar 15, 2026
@rmanibus rmanibus added this to the v1.9.2 milestone Mar 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Maintenance and tooling changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant