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

Update WebGPU's webidl #3067

Merged
merged 3 commits into from Sep 6, 2022
Merged

Update WebGPU's webidl #3067

merged 3 commits into from Sep 6, 2022

Conversation

nical
Copy link
Contributor

@nical nical commented Sep 5, 2022

Regenerated the webidl from the current state of the spec.

@nical
Copy link
Contributor Author

nical commented Sep 5, 2022

I would be great to publish a new version soon (for wgpu). What is the policy for new versions with changes to unstable specs?

@Liamolucko Liamolucko merged commit 5c28993 into rustwasm:main Sep 6, 2022
@Liamolucko
Copy link
Collaborator

I would be great to publish a new version soon (for wgpu). What is the policy for new versions with changes to unstable specs?

I don't think there's any policy as such. cc @alexcrichton

@nical nical deleted the webgpu-aug-22 branch September 6, 2022 08:54
@alexcrichton
Copy link
Contributor

Nah no policy, just when someone asks

@nical
Copy link
Contributor Author

nical commented Sep 6, 2022

@alexcrichton in that case, can I haz a new version pretty please 🙏 thanks!

@alexcrichton
Copy link
Contributor

If one of y'all would be willing to make a PR for this release that'd be much appreciated which mostly boils down to running ./publish bump and I can tag/publish the PR when it merge.

@rozbb rozbb mentioned this pull request Sep 12, 2022
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.

None yet

3 participants