Skip to content

Release v0.7.2#108

Merged
zmofei merged 1 commit intomainfrom
release/v0.7.2
May 5, 2026
Merged

Release v0.7.2#108
zmofei merged 1 commit intomainfrom
release/v0.7.2

Conversation

@mapbox-github-ci-writer-public-1
Copy link
Copy Markdown
Contributor

Release v0.7.2

Automated version bump PR created by the release workflow.

Changes

  • Bumped package.json version to 0.7.2
  • Synced manifest/changelog (if applicable)

Next steps

  1. Review the changes
  2. Merge this PR to trigger the rest of the release pipeline

@mapbox-github-ci-writer-public-1 mapbox-github-ci-writer-public-1 Bot requested a review from a team as a code owner May 5, 2026 14:55
@zmofei zmofei merged commit 7429b09 into main May 5, 2026
1 check passed
@zmofei zmofei deleted the release/v0.7.2 branch May 5, 2026 14:56
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