Skip to content

Actions: WebAssembly/spec

Actions

Validate/Publish to W3C TR space

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
w3c-publish.yml
205 workflow runs
205 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[spec] Fix crossref for type (#2153) Validate/Publish to W3C TR space #331: Commit 0832c84 pushed by rossberg
9m 52s main
main
9m 52s
[spec] Remove obsolete heading (#2152) Validate/Publish to W3C TR space #330: Commit d656c59 pushed by rossberg
10m 38s main
main
10m 38s
[spec] Slight simplification to Rectype_ok2 judgement (#2148) Validate/Publish to W3C TR space #329: Commit b06b61d pushed by rossberg
10m 13s main
main
10m 13s
[spec] Refine abstract syntax of modules to use list Validate/Publish to W3C TR space #328: Commit 55cd299 pushed by rossberg
9m 40s main
main
9m 40s
[spec] Define soundness rules in SpecTec (#2125) Validate/Publish to W3C TR space #327: Commit 44b03c2 pushed by rossberg
13m 38s main
main
13m 38s
[spec] Fix cross-references to constant expressions (#2145) Validate/Publish to W3C TR space #326: Commit d949ce5 pushed by rossberg
9m 34s main
main
9m 34s
[spec] Fix typo (#2143) Validate/Publish to W3C TR space #325: Commit cbef362 pushed by rossberg
11m 13s main
main
11m 13s
[spec] Fix typo (#2139) Validate/Publish to W3C TR space #324: Commit 91f9d08 pushed by rossberg
10m 47s main
main
10m 47s
[spectec] Fix $fnat show hint (#2138) Validate/Publish to W3C TR space #323: Commit 9fb3a59 pushed by rossberg
10m 0s main
main
10m 0s
[spec] Fix typo in module abbreviation text format (#2137) Validate/Publish to W3C TR space #322: Commit 1b70e0e pushed by rossberg
10m 53s main
main
10m 53s
[spec] Fix typo in grammar notation (#2133) Validate/Publish to W3C TR space #321: Commit 55741de pushed by rossberg
10m 43s main
main
10m 43s
[js-api] Use [AllowResizable] AllowSharedBufferSource for bytecode (#… Validate/Publish to W3C TR space #320: Commit 13444d0 pushed by eqrion
9m 34s main
main
9m 34s
[interpreter] Remove redundant substitution in Invoke reduction (#2132) Validate/Publish to W3C TR space #319: Commit 9d12073 pushed by rossberg
8m 43s main
main
8m 43s
[js-api] Editorial improvements (#2126) Validate/Publish to W3C TR space #318: Commit 80d3d19 pushed by eqrion
1m 17s main
main
1m 17s
[js-api] Add Ryan as an editor of js-api and web-api Validate/Publish to W3C TR space #317: Commit 072bd0d pushed by Ms2ger
9m 17s main
main
9m 17s
[spec] Add missing side condition on growtable/memory (#2108) Validate/Publish to W3C TR space #316: Commit 811f86a pushed by rossberg
9m 13s main
main
9m 13s
[spectec] Make definition of state access nicer (#2036) Validate/Publish to W3C TR space #315: Commit aaf9ffb pushed by rossberg
8m 55s main
main
8m 55s
[spectec] Fix subst_externtype matching on incorrect argument types (… Validate/Publish to W3C TR space #314: Commit be6efe6 pushed by rossberg
9m 26s main
main
9m 26s
[spec] Narrow definition of null ref values (#2093) Validate/Publish to W3C TR space #313: Commit 228e910 pushed by rossberg
10m 48s main
main
10m 48s
[spec] Fix subtyping rules for bottom heaptypes (#2116) Validate/Publish to W3C TR space #312: Commit d2906df pushed by rossberg
10m 28s main
main
10m 28s
[spec] Several scattered spec fixes (#2112) Validate/Publish to W3C TR space #311: Commit da9ea89 pushed by rossberg
10m 27s main
main
10m 27s
[spec] Fix misplaced anchor (#2114) Validate/Publish to W3C TR space #310: Commit 7575515 pushed by rossberg
10m 29s main
main
10m 29s
[spec] Cumulative fixes for text format and binary format specificati… Validate/Publish to W3C TR space #309: Commit 8ec9f58 pushed by rossberg
20m 4s main
main
20m 4s
[spectec] Sync latest Validate/Publish to W3C TR space #308: Commit ff645dd pushed by rossberg
9m 23s main
main
9m 23s
[spectec] Tweak various aspects of syntax elaboration Validate/Publish to W3C TR space #307: Commit e5d4e9d pushed by rossberg
9m 16s main
main
9m 16s