Skip to content

Actions: WebAssembly/spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,263 workflow runs
1,263 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
pages build and deployment pages-build-deployment #358: by github-pages Bot
40s gh-pages
gh-pages
40s
[spec] Use fieldidx instead of u32 (#2149) Validate/Publish to W3C TR space #337: Commit a6ed9b2 pushed by rossberg
10m 31s main
main
10m 31s
[spec] Use fieldidx instead of u32 (#2149) CI for spectec #322: Commit a6ed9b2 pushed by rossberg
12m 46s main
main
12m 46s
[spec] Use fieldidx instead of u32 (#2149) CI for specs #702: Commit a6ed9b2 pushed by rossberg
10m 28s main
main
10m 28s
[spectec] Model failure in IL semantics CI for spectec #321: Commit 3db6d66 pushed by rossberg
12m 22s main
main
12m 22s
pages build and deployment pages-build-deployment #357: by github-pages Bot
34s gh-pages
gh-pages
34s
[spectec] Formalise binding semantics for let premises (#2109) CI for specs #701: Commit 7ee14a6 pushed by rossberg
10m 45s main
main
10m 45s
[spectec] Formalise binding semantics for let premises (#2109) CI for spectec #320: Commit 7ee14a6 pushed by rossberg
12m 43s main
main
12m 43s
[spectec] Formalise binding semantics for let premises CI for specs #700: Pull request #2109 synchronize by rossberg
11m 9s spectec.let
spectec.let
11m 9s
[spectec] Formalise binding semantics for let premises CI for spectec #319: Pull request #2109 synchronize by rossberg
12m 4s spectec.let
spectec.let
12m 4s
[ci] Test exepcts CI for spectec #318: Commit 7d618b1 pushed by rossberg
12m 29s main
main
12m 29s
[spectec] Formalise binding semantics for let premises CI for specs #699: Pull request #2109 synchronize by f52985
3m 30s spectec.let
spectec.let
3m 30s
[spectec] Formalise binding semantics for let premises CI for spectec #317: Pull request #2109 synchronize by f52985
3m 18s spectec.let
spectec.let
3m 18s
[spectec] Add documentation about subscripted infix operators and the… CI for spectec #316: Commit b1ae9c5 pushed by rossberg
5m 10s main
main
5m 10s
pages build and deployment pages-build-deployment #356: by github-pages Bot
26s gh-pages
gh-pages
26s
[spectec] Sync diff CI for specs #698: Commit 965039e pushed by rossberg
10m 2s main
main
10m 2s
[spectec] Sync diff Validate/Publish to W3C TR space #336: Commit 965039e pushed by rossberg
9m 12s main
main
9m 12s
[spec] Port Soundness Appendix to SpecTec, pt. 1 (rules for types) CI for specs #697: Commit f500d7f pushed by rossberg
10m 21s main
main
10m 21s
[spec] Port Soundness Appendix to SpecTec, pt. 1 (rules for types) CI for spectec #315: Commit f500d7f pushed by rossberg
5m 42s main
main
5m 42s
[spec] Port Soundness Appendix to SpecTec, pt. 1 (rules for types) Validate/Publish to W3C TR space #335: Commit f500d7f pushed by rossberg
12m 5s main
main
12m 5s
pages build and deployment pages-build-deployment #355: by github-pages Bot
36s gh-pages
gh-pages
36s
[spec] Tweaks Validate/Publish to W3C TR space #334: Commit 92d7e86 pushed by rossberg
10m 26s main
main
10m 26s
[spec] Tweaks CI for specs #696: Commit 92d7e86 pushed by rossberg
11m 14s main
main
11m 14s
[spec] Tweaks CI for spectec #314: Commit 92d7e86 pushed by rossberg
4m 58s main
main
4m 58s
[spectec] Split def of context's RECS field; make struct extension wo… CI for specs #695: Commit 3d487bf pushed by rossberg
10m 47s main
main
10m 47s