-
Notifications
You must be signed in to change notification settings - Fork 305
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
Use namespaces for flags instead of interfaces #1709
Conversation
8041c4e
to
2492935
Compare
Filed plinss/widlparser#66 on widlparser |
Note that lines 1237 and 1238 can now be removed: Lines 1237 to 1238 in 2492935
|
@ExE-Boss sharp eye, thanks! |
This seems like it can be landed? |
b207e78
to
b5aef17
Compare
Latest bikeshed should probably have the fix. Updated and attempting auto-merge |
jk, it already failed. |
…0.3 (#1709) SHA: db763f6 Reason: push, by @kainino0x Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
…0.3 (#1709) SHA: db763f6 Reason: push, by @kainino0x Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
…0.3 (#1709) SHA: db763f6 Reason: push, by @kainino0x Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Fixes #304. Thanks @domenic!
Unfortunately for our CI, I think we have to wait for widlparser to be updated, and for that to be rolled into bikeshed.
💥 Error: 504 Gateway Time-out 💥
PR Preview failed to build. (Last tried on Sep 10, 2021, 7:45 AM UTC).
More
PR Preview relies on a number of web services to run. There seems to be an issue with the following one:
🚨 HTML Diff Service - The HTML Diff Service is used to create HTML diffs of the spec changes suggested in a pull request.
🔗 Related URL
If you don't have enough information above to solve the error by yourself (or to understand to which web service the error is related to, if any), please file an issue.