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
[spectec] Specify IL subsets CI for spectec #295: Pull request #2140 synchronize by rossberg
13m 38s spectec.subsets
spectec.subsets
13m 38s
[spectec] Specify IL subsets CI for spectec #294: Pull request #2140 synchronize by rossberg
13m 22s spectec.subsets
spectec.subsets
13m 22s
[spectec] Formalise binding semantics for let premises CI for spectec #293: Pull request #2109 synchronize by rossberg
6m 5s spectec.let
spectec.let
6m 5s
[spectec] Formalise binding semantics for let premises CI for specs #677: Pull request #2109 synchronize by rossberg
3m 47s spectec.let
spectec.let
3m 47s
[spec] Define soundness rules in SpecTec CI for spectec #292: Pull request #2125 synchronize by rossberg
10m 22s soundness.spectec
soundness.spectec
10m 22s
[spec] Define soundness rules in SpecTec CI for specs #676: Pull request #2125 synchronize by rossberg
4m 14s soundness.spectec
soundness.spectec
4m 14s
[spec] Define soundness rules in SpecTec CI for spectec #291: Pull request #2125 synchronize by rossberg
10m 36s soundness.spectec
soundness.spectec
10m 36s
[spec] Define soundness rules in SpecTec CI for specs #675: Pull request #2125 synchronize by rossberg
3m 59s soundness.spectec
soundness.spectec
3m 59s
[spectec] Formalise binding semantics for let premises CI for spectec #290: Pull request #2109 synchronize by rossberg
12m 9s spectec.let
spectec.let
12m 9s
pages build and deployment pages-build-deployment #346: by github-pages Bot
48s gh-pages
gh-pages
48s
[spec] Fix cross-references to constant expressions (#2145) CI for spectec #289: Commit d949ce5 pushed by rossberg
15m 49s main
main
15m 49s
[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 cross-references to constant expressions (#2145) CI for specs #674: Commit d949ce5 pushed by rossberg
22m 48s main
main
22m 48s
pages build and deployment pages-build-deployment #345: by github-pages Bot
24s gh-pages
gh-pages
24s
Fix cross-references to constant expressions CI for spectec #288: Pull request #2145 opened by bvisness
13m 29s bvisness:constant-expression-jank
bvisness:constant-expression-jank
13m 29s
Fix cross-references to constant expressions CI for specs #673: Pull request #2145 opened by bvisness
11m 38s bvisness:constant-expression-jank
bvisness:constant-expression-jank
11m 38s
[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 (#2143) CI for spectec #287: Commit cbef362 pushed by rossberg
13m 48s main
main
13m 48s
[spec] Fix typo (#2143) CI for specs #672: Commit cbef362 pushed by rossberg
11m 34s main
main
11m 34s
[spec] Define soundness rules in SpecTec CI for specs #671: Pull request #2125 synchronize by rossberg
4m 39s soundness.spectec
soundness.spectec
4m 39s
[spec] Define soundness rules in SpecTec CI for spectec #286: Pull request #2125 synchronize by rossberg
9m 2s soundness.spectec
soundness.spectec
9m 2s
[spec] fix typo CI for spectec #285: Pull request #2143 synchronize by zilinc
12m 14s zilinc:zilinc/spec-fix
zilinc:zilinc/spec-fix
12m 14s
[spec] fix typo CI for specs #670: Pull request #2143 synchronize by zilinc
11m 31s zilinc:zilinc/spec-fix
zilinc:zilinc/spec-fix
11m 31s
[spec] fix typo CI for spectec #284: Pull request #2143 opened by zilinc
11m 48s zilinc:zilinc/spec-fix
zilinc:zilinc/spec-fix
11m 48s
[spec] fix typo CI for specs #669: Pull request #2143 opened by zilinc
11m 11s zilinc:zilinc/spec-fix
zilinc:zilinc/spec-fix
11m 11s