Skip to content

Actions: WebAssembly/spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,217 workflow runs
1,217 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] Fix type link CI for specs #687: Pull request #2153 opened by alessiofaieta
11m 0s alessiofaieta:fix-type-link
alessiofaieta:fix-type-link
11m 0s
[spec] Fix type link CI for spectec #305: Pull request #2153 opened by alessiofaieta
12m 51s alessiofaieta:fix-type-link
alessiofaieta:fix-type-link
12m 51s
[spec] Remove "Empty Instruction Sequence" heading CI for specs #686: Pull request #2152 opened by alessiofaieta
11m 8s alessiofaieta:fix-unnecessary-heading
alessiofaieta:fix-unnecessary-heading
11m 8s
[spec] Remove "Empty Instruction Sequence" heading CI for spectec #304: Pull request #2152 opened by alessiofaieta
12m 26s alessiofaieta:fix-unnecessary-heading
alessiofaieta:fix-unnecessary-heading
12m 26s
[spec] Use fieldidx instead of u32 CI for spectec #303: Pull request #2149 opened by alessiofaieta
2m 7s alessiofaieta:fix-fieldidx
alessiofaieta:fix-fieldidx
2m 7s
[spec] Use fieldidx instead of u32 CI for specs #685: Pull request #2149 opened by alessiofaieta
11m 6s alessiofaieta:fix-fieldidx
alessiofaieta:fix-fieldidx
11m 6s
[ci] Fix test expects CI for spectec #302: Commit db413c6 pushed by rossberg
12m 30s main
main
12m 30s
pages build and deployment pages-build-deployment #349: by github-pages Bot
1m 41s gh-pages
gh-pages
1m 41s
pages build and deployment pages-build-deployment #348: by github-pages Bot
1m 42s gh-pages
gh-pages
1m 42s
[spec] Slight simplification to Rectype_ok2 judgement (#2148) CI for specs #684: Commit b06b61d pushed by rossberg
10m 48s main
main
10m 48s
[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] Slight simplification to Rectype_ok2 judgement (#2148) CI for spectec #301: Commit b06b61d pushed by rossberg
5m 27s main
main
5m 27s
[spec] Refine abstract syntax of modules to use list CI for specs #683: Commit 55cd299 pushed by rossberg
9m 47s main
main
9m 47s
[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] Slight simplification to Rectype_ok2 judgement CI for specs #682: Pull request #2148 opened by rossberg
11m 13s rectype.simpl
rectype.simpl
11m 13s
[spec] Slight simplification to Rectype_ok2 judgement CI for spectec #300: Pull request #2148 opened by rossberg
2h 57m 38s rectype.simpl
rectype.simpl
2h 57m 38s
[spectec] Automate extraction of validation rules for prose generation CI for specs #681: Pull request #2147 opened by f52985
11m 1s soundness.spectec
soundness.spectec
11m 1s
[spectec] Automate extraction of validation rules for prose generation CI for spectec #299: Pull request #2147 opened by f52985
13m 40s soundness.spectec
soundness.spectec
13m 40s
pages build and deployment pages-build-deployment #347: by github-pages Bot
29s gh-pages
gh-pages
29s
[spec] Define soundness rules in SpecTec (#2125) CI for specs #680: Commit 44b03c2 pushed by rossberg
11m 23s main
main
11m 23s
[spec] Define soundness rules in SpecTec (#2125) CI for spectec #298: Commit 44b03c2 pushed by rossberg
12m 20s main
main
12m 20s
[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] Define soundness rules in SpecTec CI for spectec #297: Pull request #2125 synchronize by rossberg
10m 52s soundness.spectec
soundness.spectec
10m 52s
[spec] Define soundness rules in SpecTec CI for specs #679: Pull request #2125 synchronize by rossberg
11m 24s soundness.spectec
soundness.spectec
11m 24s
[spec] Define soundness rules in SpecTec CI for specs #678: Pull request #2125 synchronize by f52985
18m 33s soundness.spectec
soundness.spectec
18m 33s