File tree 4 files changed +16
-10
lines changed
4 files changed +16
-10
lines changed Original file line number Diff line number Diff line change 31
31
32
32
jobs :
33
33
publish-to-w3c-TR :
34
+ strategy :
35
+ fail-fast : false
36
+ matrix :
37
+ spec : [core, js-api, web-api]
34
38
runs-on : ubuntu-latest
35
39
steps :
36
40
- name : Checkout repo
@@ -44,20 +48,22 @@ jobs:
44
48
- name : Setup Bikeshed
45
49
run : pip install bikeshed && bikeshed update
46
50
- name : Setup TexLive
51
+ if : ${{ matrix.spec == 'core' }}
47
52
run : sudo apt-get update -y && sudo apt-get install -y latexmk texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended
48
53
- name : Setup Sphinx
54
+ if : ${{ matrix.spec == 'core' }}
49
55
run : pip install six && pip install sphinx==5.1.0
50
- - name : Publish all specs to their https://www.w3.org/TR/ URLs
56
+ - name : Publish ${{ matrix.spec }} spec to its https://www.w3.org/TR/ URL
51
57
if : env.W3C_ECHIDNA_TOKEN_CORE
52
- run : cd document && make -e WD-echidna-CI
58
+ run : cd document && make -e -C ${{ matrix.spec }} WD-echidna-CI
53
59
env :
54
60
W3C_ECHIDNA_TOKEN_CORE : ${{ secrets.W3C_ECHIDNA_TOKEN_CORE }}
55
61
W3C_ECHIDNA_TOKEN_JSAPI : ${{ secrets.W3C_ECHIDNA_TOKEN_JSAPI }}
56
62
W3C_ECHIDNA_TOKEN_WEBAPI : ${{ secrets.W3C_ECHIDNA_TOKEN_WEBAPI }}
57
63
ECHIDNA_DRYRUN : ${{ !(github.event_name == 'push' && github.repository == 'WebAssembly/spec' && github.ref == 'refs/heads/main') }}
58
- - name : Validate all specs with Echidna
64
+ - name : Validate ${{ matrix.spec }} spec with Echidna
59
65
if : env.W3C_USERNAME
60
- run : cd document && make -e WD-echidna
66
+ run : cd document && make -e -C ${{ matrix.spec }} WD-echidna
61
67
env :
62
68
W3C_USERNAME : ${{ secrets.W3C_USERNAME }}
63
69
W3C_PASSWORD : ${{ secrets.W3C_PASSWORD }}
Original file line number Diff line number Diff line change @@ -201,7 +201,7 @@ WD-echidna: WD-tar
201
201
-F " dry-run=$( ECHIDNA_DRYRUN) " | tee $(BUILDDIR ) /WD-echidna-id.txt
202
202
python3 ../util/check-echidna-status.py $(BUILDDIR )
203
203
@echo
204
- @echo " Published $( W3C_STATUS) . Check its status at https://labs.w3.org/echidna/api/status?id=` cat $( BUILDDIR) /WD-echidna-id.txt` "
204
+ @echo " Uploaded $( W3C_STATUS) . Check its status at https://labs.w3.org/echidna/api/status?id=` cat $( BUILDDIR) /WD-echidna-id.txt` "
205
205
206
206
.PHONY : WD-echidna-CI
207
207
WD-echidna-CI : WD-tar
@@ -217,7 +217,7 @@ WD-echidna-CI: WD-tar
217
217
-F " dry-run=$( ECHIDNA_DRYRUN) " | tee $(BUILDDIR ) /WD-echidna-id.txt
218
218
python3 ../util/check-echidna-status.py $(BUILDDIR )
219
219
@echo
220
- @echo " Published $( W3C_STATUS) . Check its status at https://labs.w3.org/echidna/api/status?id=` cat $( BUILDDIR) /WD-echidna-id.txt` "
220
+ @echo " Uploaded $( W3C_STATUS) . Check its status at https://labs.w3.org/echidna/api/status?id=` cat $( BUILDDIR) /WD-echidna-id.txt` "
221
221
222
222
.PHONY : diff
223
223
diff : bikeshed
Original file line number Diff line number Diff line change @@ -54,7 +54,7 @@ WD-echidna: WD-tar
54
54
-F " dry-run=$( ECHIDNA_DRYRUN) " | tee $(BUILDDIR ) /WD-echidna-id.txt
55
55
python3 ../util/check-echidna-status.py $(BUILDDIR )
56
56
@echo
57
- @echo " Published $( W3C_STATUS) . Check its status at https://labs.w3.org/echidna/api/status?id=` cat $( BUILDDIR) /WD-echidna-id.txt` "
57
+ @echo " Uploaded $( W3C_STATUS) . Check its status at https://labs.w3.org/echidna/api/status?id=` cat $( BUILDDIR) /WD-echidna-id.txt` "
58
58
59
59
.PHONY : WD-echidna-CI
60
60
WD-echidna-CI : WD-tar
@@ -70,4 +70,4 @@ WD-echidna-CI: WD-tar
70
70
-F " dry-run=$( ECHIDNA_DRYRUN) " | tee $(BUILDDIR ) /WD-echidna-id.txt
71
71
python3 ../util/check-echidna-status.py $(BUILDDIR )
72
72
@echo
73
- @echo " Published $( W3C_STATUS) . Check its status at https://labs.w3.org/echidna/api/status?id=` cat $( BUILDDIR) /WD-echidna-id.txt` "
73
+ @echo " Uploaded $( W3C_STATUS) . Check its status at https://labs.w3.org/echidna/api/status?id=` cat $( BUILDDIR) /WD-echidna-id.txt` "
Original file line number Diff line number Diff line change @@ -54,7 +54,7 @@ WD-echidna: WD-tar
54
54
-F " dry-run=$( ECHIDNA_DRYRUN) " | tee $(BUILDDIR ) /WD-echidna-id.txt
55
55
python3 ../util/check-echidna-status.py $(BUILDDIR )
56
56
@echo
57
- @echo " Published $( W3C_STATUS) . Check its status at https://labs.w3.org/echidna/api/status?id=` cat $( BUILDDIR) /WD-echidna-id.txt` "
57
+ @echo " Uploaded $( W3C_STATUS) . Check its status at https://labs.w3.org/echidna/api/status?id=` cat $( BUILDDIR) /WD-echidna-id.txt` "
58
58
59
59
.PHONY : WD-echidna-CI
60
60
WD-echidna-CI : WD-tar
@@ -70,4 +70,4 @@ WD-echidna-CI: WD-tar
70
70
-F " dry-run=$( ECHIDNA_DRYRUN) " | tee $(BUILDDIR ) /WD-echidna-id.txt
71
71
python3 ../util/check-echidna-status.py $(BUILDDIR )
72
72
@echo
73
- @echo " Published $( W3C_STATUS) . Check its status at https://labs.w3.org/echidna/api/status?id=` cat $( BUILDDIR) /WD-echidna-id.txt` "
73
+ @echo " Uploaded $( W3C_STATUS) . Check its status at https://labs.w3.org/echidna/api/status?id=` cat $( BUILDDIR) /WD-echidna-id.txt` "
You can’t perform that action at this time.
0 commit comments