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.

Sign up for GitHub

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

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
87536c8
[versions] Update 3.0 draft
rossberg Sep 21, 2024
60af1b0
[versions] Update 3.0 draft
rossberg Sep 26, 2024
7995c92
Update IANA media type registration section in Web API
dschuff Sep 28, 2024
31418f6
Update bikeshed_fixup to number the Change History section
dschuff Sep 28, 2024
15eb918
Revert "Update W3C TR build from WD to CRD (#1797)" (#1813)
dschuff Sep 30, 2024
a700617
Add introduction sections to JS API and Web API documents (#1814)
dschuff Sep 30, 2024
d5f5868
Add Changelog sections for JS and Web API documents (#1817)
dschuff Oct 2, 2024
97c2d67
Fix validation errors in changelog (#1819)
dschuff Oct 3, 2024
12bf474
close dl tag to fix web API validation (#1820)
dschuff Oct 3, 2024
f1e8a19
Add a minimal Security and Privacy Considerations section to Web API …
dschuff Oct 3, 2024
8012c48
Remove redundant runs of bikeshed from the JS/Web Makefiles' tar targets
dschuff Oct 3, 2024
924c1f8
[test] More tests for ill-typed call indirect (#1822)
RaoNikitha Oct 4, 2024
2d480da
Check Echidna publishing results for failure or success (#1821)
dschuff Oct 4, 2024
535bedf
[ci] Use build matrix to run W3C spec builds independently (#1825)
dschuff Oct 6, 2024
c0aeee7
Escape latex newline commands with extra vertical space (#1826)
dschuff Oct 6, 2024
b5c848b
Remove some unneeded bikeshed fixup hacks (#1824)
dschuff Oct 6, 2024
9c69d19
[js-api] Fix up missing preconditions on allocations (#1793)
bvisness Oct 7, 2024
85a7ccb
[ci] Update CI action versions (#1827)
rossberg Oct 7, 2024
b9fbcfa
Merge with WebAssembly/spec
dhil Oct 21, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
[ci] Use build matrix to run W3C spec builds independently (WebAssemb… 
…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.
  • Loading branch information
@dschuff
dschuff authored Oct 6, 2024
commit 535bedf3e6fc05399623eb2c40964f850649fb21
14 changes: 10 additions & 4 deletions .github/workflows/w3c-publish.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,10 @@ env:

jobs:
publish-to-w3c-TR:
strategy:
fail-fast: false
matrix:
spec: [core, js-api, web-api]
runs-on: ubuntu-latest
steps:
- name: Checkout repo
Expand All @@ -44,20 +48,22 @@ jobs:
- name: Setup Bikeshed
run: pip install bikeshed && bikeshed update
- name: Setup TexLive
if: ${{ matrix.spec == 'core' }}
run: sudo apt-get update -y && sudo apt-get install -y latexmk texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended
- name: Setup Sphinx
if: ${{ matrix.spec == 'core' }}
run: pip install six && pip install sphinx==5.1.0
- name: Publish all specs to their https://www.w3.org/TR/ URLs
- name: Publish ${{ matrix.spec }} spec to its https://www.w3.org/TR/ URL
if: env.W3C_ECHIDNA_TOKEN_CORE
run: cd document && make -e WD-echidna-CI
run: cd document && make -e -C ${{ matrix.spec }} WD-echidna-CI
env:
W3C_ECHIDNA_TOKEN_CORE: ${{ secrets.W3C_ECHIDNA_TOKEN_CORE }}
W3C_ECHIDNA_TOKEN_JSAPI: ${{ secrets.W3C_ECHIDNA_TOKEN_JSAPI }}
W3C_ECHIDNA_TOKEN_WEBAPI: ${{ secrets.W3C_ECHIDNA_TOKEN_WEBAPI }}
ECHIDNA_DRYRUN: ${{ !(github.event_name == 'push' && github.repository == 'WebAssembly/spec' && github.ref == 'refs/heads/main') }}
- name: Validate all specs with Echidna
- name: Validate ${{ matrix.spec }} spec with Echidna
if: env.W3C_USERNAME
run: cd document && make -e WD-echidna
run: cd document && make -e -C ${{ matrix.spec }} WD-echidna
env:
W3C_USERNAME: ${{ secrets.W3C_USERNAME }}
W3C_PASSWORD: ${{ secrets.W3C_PASSWORD }}
4 changes: 2 additions & 2 deletions document/core/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -201,7 +201,7 @@ WD-echidna: WD-tar
-F "dry-run=$(ECHIDNA_DRYRUN)" | tee $(BUILDDIR)/WD-echidna-id.txt
python3 ../util/check-echidna-status.py $(BUILDDIR)
@echo
@echo "Published $(W3C_STATUS). Check its status at https://labs.w3.org/echidna/api/status?id=`cat $(BUILDDIR)/WD-echidna-id.txt`"
@echo "Uploaded $(W3C_STATUS). Check its status at https://labs.w3.org/echidna/api/status?id=`cat $(BUILDDIR)/WD-echidna-id.txt`"

.PHONY: WD-echidna-CI
WD-echidna-CI: WD-tar
Expand All @@ -217,7 +217,7 @@ WD-echidna-CI: WD-tar
-F "dry-run=$(ECHIDNA_DRYRUN)" | tee $(BUILDDIR)/WD-echidna-id.txt
python3 ../util/check-echidna-status.py $(BUILDDIR)
@echo
@echo "Published $(W3C_STATUS). Check its status at https://labs.w3.org/echidna/api/status?id=`cat $(BUILDDIR)/WD-echidna-id.txt`"
@echo "Uploaded $(W3C_STATUS). Check its status at https://labs.w3.org/echidna/api/status?id=`cat $(BUILDDIR)/WD-echidna-id.txt`"

.PHONY: diff
diff: bikeshed
Expand Down
4 changes: 2 additions & 2 deletions document/js-api/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ WD-echidna: WD-tar
-F "dry-run=$(ECHIDNA_DRYRUN)" | tee $(BUILDDIR)/WD-echidna-id.txt
python3 ../util/check-echidna-status.py $(BUILDDIR)
@echo
@echo "Published $(W3C_STATUS). Check its status at https://labs.w3.org/echidna/api/status?id=`cat $(BUILDDIR)/WD-echidna-id.txt`"
@echo "Uploaded $(W3C_STATUS). Check its status at https://labs.w3.org/echidna/api/status?id=`cat $(BUILDDIR)/WD-echidna-id.txt`"

.PHONY: WD-echidna-CI
WD-echidna-CI: WD-tar
Expand All @@ -70,4 +70,4 @@ WD-echidna-CI: WD-tar
-F "dry-run=$(ECHIDNA_DRYRUN)" | tee $(BUILDDIR)/WD-echidna-id.txt
python3 ../util/check-echidna-status.py $(BUILDDIR)
@echo
@echo "Published $(W3C_STATUS). Check its status at https://labs.w3.org/echidna/api/status?id=`cat $(BUILDDIR)/WD-echidna-id.txt`"
@echo "Uploaded $(W3C_STATUS). Check its status at https://labs.w3.org/echidna/api/status?id=`cat $(BUILDDIR)/WD-echidna-id.txt`"
4 changes: 2 additions & 2 deletions document/web-api/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ WD-echidna: WD-tar
-F "dry-run=$(ECHIDNA_DRYRUN)" | tee $(BUILDDIR)/WD-echidna-id.txt
python3 ../util/check-echidna-status.py $(BUILDDIR)
@echo
@echo "Published $(W3C_STATUS). Check its status at https://labs.w3.org/echidna/api/status?id=`cat $(BUILDDIR)/WD-echidna-id.txt`"
@echo "Uploaded $(W3C_STATUS). Check its status at https://labs.w3.org/echidna/api/status?id=`cat $(BUILDDIR)/WD-echidna-id.txt`"

.PHONY: WD-echidna-CI
WD-echidna-CI: WD-tar
Expand All @@ -70,4 +70,4 @@ WD-echidna-CI: WD-tar
-F "dry-run=$(ECHIDNA_DRYRUN)" | tee $(BUILDDIR)/WD-echidna-id.txt
python3 ../util/check-echidna-status.py $(BUILDDIR)
@echo
@echo "Published $(W3C_STATUS). Check its status at https://labs.w3.org/echidna/api/status?id=`cat $(BUILDDIR)/WD-echidna-id.txt`"
@echo "Uploaded $(W3C_STATUS). Check its status at https://labs.w3.org/echidna/api/status?id=`cat $(BUILDDIR)/WD-echidna-id.txt`"