Skip to content

chore: refresh player release tooling - #33

Merged
Priveetee merged 1 commit into
mainfrom
release/1.3.0
Jul 30, 2026
Merged

chore: refresh player release tooling#33
Priveetee merged 1 commit into
mainfrom
release/1.3.0

Conversation

@Priveetee

@Priveetee Priveetee commented Jul 30, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • refresh the Player GitHub Actions toolchain
  • keep the published @typetype/mse 0.1.43 runtime unchanged

Production behavior

No player runtime behavior changes are included in this PR.

Tests

Player CI is the release gate. No additional local validation was run for this PR.

Rollback

Restore Player revision ee0b3c053340dacad1647236ed153af31db0f0cf.

@Priveetee
Priveetee merged commit f4844c6 into main Jul 30, 2026
4 checks passed
@Priveetee
Priveetee deleted the release/1.3.0 branch July 30, 2026 07:50
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.

1 participant