Skip to content

chore: rev webgpu#145

Merged
ricochet merged 1 commit intomainfrom
rev-webgpu
Nov 9, 2025
Merged

chore: rev webgpu#145
ricochet merged 1 commit intomainfrom
rev-webgpu

Conversation

@ricochet
Copy link
Contributor

@ricochet ricochet commented Nov 8, 2025

Signed-off-by: Bailey Hayes behayes2@gmail.com

Signed-off-by: Bailey Hayes <behayes2@gmail.com>
@ricochet ricochet requested a review from a team as a code owner November 8, 2025 18:49
@ricochet
Copy link
Contributor Author

ricochet commented Nov 8, 2025

@MendyBerger is this the version we want to include in our next rc?

@MendyBerger
Copy link
Contributor

Yes

@ricochet ricochet added this pull request to the merge queue Nov 9, 2025
Merged via the queue into main with commit 6ae324a Nov 9, 2025
8 checks passed
@ricochet ricochet deleted the rev-webgpu branch November 9, 2025 00:38
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.

3 participants