Skip to content

Actions: WebAssembly/spec

Actions

CI for spectec

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-spectec.yml
303 workflow runs
303 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
[spec] Fix rendering of Expand CI for spectec #310: Commit d7b6783 pushed by rossberg
10m 22s main
main
10m 22s
[spec/spectec] Fix prose title of if instruction (#2154) CI for spectec #309: Commit 65211ab pushed by rossberg
12m 23s main
main
12m 23s
[spectec] Fix prose title of if instruction CI for spectec #308: Pull request #2154 opened by f52985
10m 19s if.prose.title
if.prose.title
10m 19s
[spec] Fix crossref for type (#2153) CI for spectec #307: Commit 0832c84 pushed by rossberg
12m 40s main
main
12m 40s
[spec] Remove obsolete heading (#2152) CI for spectec #306: Commit d656c59 pushed by rossberg
12m 32s main
main
12m 32s
[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 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
[ci] Fix test expects CI for spectec #302: Commit db413c6 pushed by rossberg
12m 30s main
main
12m 30s
[spec] Slight simplification to Rectype_ok2 judgement (#2148) CI for spectec #301: Commit b06b61d pushed by rossberg
5m 27s main
main
5m 27s
[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 spectec #299: Pull request #2147 opened by f52985
13m 40s soundness.spectec
soundness.spectec
13m 40s
[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 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 spectec #296: Pull request #2125 synchronize by f52985
8m 35s soundness.spectec
soundness.spectec
8m 35s
[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
[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 spectec #291: Pull request #2125 synchronize by rossberg
10m 36s soundness.spectec
soundness.spectec
10m 36s
[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
[spec] Fix cross-references to constant expressions (#2145) CI for spectec #289: Commit d949ce5 pushed by rossberg
15m 49s main
main
15m 49s
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
[spec] Fix typo (#2143) CI for spectec #287: Commit cbef362 pushed by rossberg
13m 48s main
main
13m 48s
[spec] Define soundness rules in SpecTec CI for spectec #286: Pull request #2125 synchronize by rossberg
9m 2s soundness.spectec
soundness.spectec
9m 2s