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

Merge with WebAssembly/spec #51

Merged
merged 19 commits into from
Oct 21, 2024
Merged

Merge with WebAssembly/spec #51

merged 19 commits into from
Oct 21, 2024

Conversation

dhil
Copy link
Member

@dhil dhil commented Oct 21, 2024

No description provided.

rossberg and others added 19 commits September 21, 2024 11:10
…sembly#1813)

This reverts commit 5042950.
There is will allow publishing more WD builds until the CR
transition finishes.
…y#1814)

These sections provide a bit more background about their relationship to the layer beneath them.
They also solve the problem that the existing minimal introductory text was hidden in the
bottom of the "status of this document" section.
…ebAssembly#1818)

These considerations are aimed at answering the questions to consider from the TAG security and privacy questionnaire: https://www.w3.org/TR/security-privacy-questionnaire/
…1821)

* The API call does not return its results synchronously, so the status check script polls for the result and exits with an error if it fails.
* The Makefiles and CI workflow introduce the ability to run the publishing step as a dry run, so it can be used with pull requests.
* CI also supports the ability to use W3C username and password secrets instead of Echidna tokens
…ly#1825)

This ensures that all 3 specs build and upload even if one fails.
Also use 'uploaded' in the status text instead of 'published' to reflect
possible dry run or validation failure.
…1826)

Fix a sequence that Bikeshed is treating as a macro and rewriting.

This is a workaround for WebAssembly#1823
@dhil dhil merged commit 15ec7d1 into wasmfx:main Oct 21, 2024
12 checks passed
@dhil dhil deleted the wasmfx-merge branch October 21, 2024 12:20
dhil pushed a commit that referenced this pull request Dec 3, 2024
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.

5 participants