Skip to content

Actions: WebAssembly/spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,269 workflow runs
1,269 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
[spec] Add missing meta-theory rules for recursive type indices (#2156) Validate/Publish to W3C TR space #338: Commit 1c659a6 pushed by rossberg
11m 21s main
main
11m 21s
[spec] Add missing meta-theory rules for recursive type indices (#2156) CI for specs #704: Commit 1c659a6 pushed by rossberg
In progress main
main
In progress
[spec] Add missing meta-theory rules for recursive type indices (#2156) CI for spectec #325: Commit 1c659a6 pushed by rossberg
13m 1s main
main
13m 1s
[spec] Add missing meta-theory rules for recursive type indices CI for spectec #324: Pull request #2156 opened by rossberg
12m 37s appendix.fix-rec
appendix.fix-rec
12m 37s
[spec] Add missing meta-theory rules for recursive type indices CI for specs #703: Pull request #2156 opened by rossberg
31m 48s appendix.fix-rec
appendix.fix-rec
31m 48s
[spectec] Fix IL semantics rules for iterated premises CI for spectec #323: Commit f28b2f3 pushed by rossberg
12m 33s main
main
12m 33s
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