Skip to content

Actions: WebAssembly/spec

Actions

CI for specs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-spec.yml
400 workflow runs
400 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
[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 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 specs #699: Pull request #2109 synchronize by f52985
3m 30s spectec.let
spectec.let
3m 30s
[spectec] Sync diff CI for specs #698: Commit 965039e pushed by rossberg
10m 2s main
main
10m 2s
[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] Tweaks CI for specs #696: Commit 92d7e86 pushed by rossberg
11m 14s main
main
11m 14s
[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
[spectec] Automate extraction of validation rules for prose generatio… CI for specs #694: Commit 18e6ed1 pushed by rossberg
10m 37s main
main
10m 37s
[spectec] Automate extraction of validation rules for prose generation CI for specs #693: Pull request #2147 synchronize by f52985
11m 13s soundness.spectec
soundness.spectec
11m 13s
[spec] Fix rendering of Expand CI for specs #692: Commit d7b6783 pushed by rossberg
11m 13s main
main
11m 13s
[spec/spectec] Fix prose title of if instruction (#2154) CI for specs #691: Commit 65211ab pushed by rossberg
11m 9s main
main
11m 9s
[spectec] Fix prose title of if instruction CI for specs #690: Pull request #2154 opened by f52985
10m 48s if.prose.title
if.prose.title
10m 48s
[spec] Fix crossref for type (#2153) CI for specs #689: Commit 0832c84 pushed by rossberg
11m 8s main
main
11m 8s
[spec] Remove obsolete heading (#2152) CI for specs #688: Commit d656c59 pushed by rossberg
11m 2s main
main
11m 2s
[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] 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] 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
[spec] Slight simplification to Rectype_ok2 judgement (#2148) CI for specs #684: Commit b06b61d pushed by rossberg
10m 48s main
main
10m 48s
[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] Slight simplification to Rectype_ok2 judgement CI for specs #682: Pull request #2148 opened by rossberg
11m 13s rectype.simpl
rectype.simpl
11m 13s
[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
[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 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
[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