Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bump Slang Version #1270

Merged
merged 1 commit into from
Mar 10, 2025
Merged

Bump Slang Version #1270

merged 1 commit into from
Mar 10, 2025

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Mar 7, 2025

This PR was opened by the Changesets release GitHub action. When you're ready to do a release, you can merge this and publish to npm yourself or setup this action to publish automatically. If you're not ready to do a release yet, that's fine, whenever you add more changesets to main, this PR will be updated.

Releases

@nomicfoundation/slang@0.20.0

Minor Changes

Patch Changes

@github-actions github-actions bot requested review from a team as code owners March 7, 2025 17:29
@OmarTawfik OmarTawfik closed this Mar 7, 2025
@OmarTawfik OmarTawfik reopened this Mar 7, 2025
OmarTawfik added a commit that referenced this pull request Mar 7, 2025
Observed that CI is no longer running on changeset PRs (example #1270). Not sure why yet.
But let's remove the deduplication condition for now to unblock the release, and I will follow up with a fix sometime later.
@github-actions github-actions bot force-pushed the changeset-release/main branch from c1d4e02 to ec929f4 Compare March 7, 2025 18:01
github-merge-queue bot pushed a commit that referenced this pull request Mar 7, 2025
Observed that CI is no longer running on changeset PRs (example #1270).
Not sure why yet. But let's remove the deduplication condition for now
to unblock the release, and I will follow up with a fix sometime later.
@github-actions github-actions bot force-pushed the changeset-release/main branch from ec929f4 to eb79284 Compare March 7, 2025 18:27
@OmarTawfik OmarTawfik closed this Mar 7, 2025
@OmarTawfik OmarTawfik reopened this Mar 7, 2025
@github-actions github-actions bot force-pushed the changeset-release/main branch from eb79284 to a60685b Compare March 7, 2025 22:40
@OmarTawfik OmarTawfik closed this Mar 8, 2025
@OmarTawfik OmarTawfik reopened this Mar 8, 2025
@stefanoban stefanoban added this pull request to the merge queue Mar 10, 2025
Merged via the queue into main with commit a173a6c Mar 10, 2025
2 checks passed
@stefanoban stefanoban deleted the changeset-release/main branch March 10, 2025 11:15
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.

2 participants