Skip to content

Actions: WebAssembly/spec

Actions

CI for specs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-spec.yml
452 workflow runs
452 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] Prevent possible index overflow in typing rule for module inst… CI for specs #764: Commit 869387d pushed by rossberg
13m 11s main
main
13m 11s
[spec] Prevent possible index overflow in typing rule for module instances CI for specs #763: Pull request #2192 synchronize by rossberg
11m 11s fix.2191
fix.2191
11m 11s
[spec] Prevent possible index overflow in typing rule for module instances CI for specs #762: Pull request #2192 synchronize by rossberg
10m 39s fix.2191
fix.2191
10m 39s
[spec] Prevent possible index overflow in typing rule for module instances CI for specs #761: Pull request #2192 synchronize by rossberg
10m 24s fix.2191
fix.2191
10m 24s
[spec] Prevent possible index overflow in typing rule for module instances CI for specs #760: Pull request #2192 opened by rossberg
11m 4s fix.2191
fix.2191
11m 4s
[spec] Rename (offset foo) text production to offsetexpr (fixing … CI for specs #759: Commit 86477a3 pushed by rossberg
10m 40s main
main
10m 40s
Rename (offset foo) text production to offsetexpr (fixing broken links) CI for specs #758: Pull request #2190 synchronize by bvisness
2h 39m 39s bvisness:offsetexpr
bvisness:offsetexpr
2h 39m 39s
Rename (offset foo) text production to offsetexpr (fixing broken links) CI for specs #757: Pull request #2190 opened by bvisness
10m 41s bvisness:offsetexpr
bvisness:offsetexpr
10m 41s
[spec] Add call_addr and throw_addr as admin instructions CI for specs #756: Pull request #2189 synchronize by rossberg
9m 47s call_addr
call_addr
9m 47s
[spec] Add call_addr and throw_addr as admin instructions CI for specs #755: Pull request #2189 synchronize by rossberg
4m 10s call_addr
call_addr
4m 10s
[spec] Add call_addr and throw_addr as admin instructions CI for specs #754: Pull request #2189 opened by rossberg
4m 30s call_addr
call_addr
4m 30s
[spectec] Add generalised typing rules for call_ref soundness (#2188) CI for specs #753: Commit da036ca pushed by rossberg
12m 17s main
main
12m 17s
[spectec] Add generalised typing rules for call_ref soundness CI for specs #752: Pull request #2188 synchronize by rossberg
10m 53s fix.2187
fix.2187
10m 53s
[spectec] Add generalised typing rules for call_ref soundness CI for specs #751: Pull request #2188 opened by rossberg
11m 26s fix.2187
fix.2187
11m 26s
[spectec] Refactor argument unboxing CI for specs #750: Commit f3d3448 pushed by rossberg
11m 4s main
main
11m 4s
[spectec] Fix commit for validator CI for specs #749: Commit b1c5da6 pushed by rossberg
9m 44s main
main
9m 44s
[spectec] Forgotten commit for validator CI for specs #748: Commit ee6b46b pushed by rossberg
11m 5s main
main
11m 5s
[spectec] Do not create redundant 1-tuples CI for specs #747: Commit f8d7f41 pushed by rossberg
10m 53s main
main
10m 53s
[spec] Fix rendering of is_packtype (#2186) CI for specs #746: Commit 9f5be8e pushed by rossberg
10m 54s main
main
10m 54s
[spec] Fixed typo in prose of is_packtype showing the negation of the intended premise CI for specs #745: Pull request #2186 opened by raoxiaojia
10m 45s raoxiaojia:packedtype-prose.fix
raoxiaojia:packedtype-prose.fix
10m 45s
[spectec] Fix upper limit in memory/tableinst extension relations (#2… CI for specs #744: Commit 7827c14 pushed by rossberg
11m 5s main
main
11m 5s
[Spec] Soundness: Make Limit max be unconstrained in Store and Store Extension Relations CI for specs #743: Pull request #2185 opened by DCupello1
10m 59s Wasm-DSL:soundness-max-fix
Wasm-DSL:soundness-max-fix
10m 59s
[spectec] Track normal forms in IL CI for specs #742: Pull request #2184 opened by rossberg
10m 51s cnf
cnf
10m 51s
[spec] Tightened resulttype validity guard context for frame blocks… CI for specs #741: Commit 0e00418 pushed by rossberg
10m 49s main
main
10m 49s
[spec] Tightened resulttype validity guard context for frame blocks CI for specs #740: Pull request #2183 synchronize by raoxiaojia
11m 10s raoxiaojia:frame.resulttype.fix
raoxiaojia:frame.resulttype.fix
11m 10s