Skip to content

Actions: WebAssembly/spec

Actions

CI for spectec

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-spectec.yml
101 workflow runs
101 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[spectec] Clean up IL semantics and elaborator (WIP) CI for spectec #104: Pull request #2056 synchronize by f52985
2m 51s deptup
deptup
2m 51s
[js-api] Fix result types in string builtins CI for spectec #103: Commit 777e9c4 pushed by Ms2ger
10m 26s main
main
10m 26s
[spectec] Clean up IL semantics and elaborator (WIP) CI for spectec #102: Pull request #2056 opened by rossberg
3m 9s deptup
deptup
3m 9s
[js-api] Fix result types in string builtins CI for spectec #101: Pull request #2054 opened by tlively
10m 13s fix-string-builtin-nullability
fix-string-builtin-nullability
10m 13s
[spec] Fix binary format of const literals CI for spectec #100: Commit f2d26ea pushed by rossberg
10m 35s main
main
10m 35s
[spec] Fix typo in definition of BsN CI for spectec #99: Commit 6e4c4bc pushed by rossberg
10m 17s main
main
10m 17s
[spec] Fix another misspelled macro CI for spectec #98: Commit 2952ac5 pushed by rossberg
10m 32s main
main
10m 32s
[spectec] Fix typos in Overview.md (#2038) CI for spectec #97: Commit 58a2f9d pushed by rossberg
10m 17s main
main
10m 17s
[spec] Fix typo (#2037) CI for spectec #96: Commit 8bfbeb0 pushed by rossberg
10m 24s main
main
10m 24s
[spectec] Fix typos in Overview.md CI for spectec #95: Pull request #2038 opened by alessiofaieta
10m 38s alessiofaieta:fix-typos-spectec
alessiofaieta:fix-typos-spectec
10m 38s
[spec] Fix typo CI for spectec #94: Pull request #2037 opened by alessiofaieta
10m 25s alessiofaieta:fix-typos
alessiofaieta:fix-typos
10m 25s
[spectec] Make definition of state access nicer CI for spectec #93: Pull request #2036 opened by rossberg
6m 20s state-shorthands
state-shorthands
6m 20s
[spec] Introduce meta variable z for state CI for spectec #92: Commit 4d81d3b pushed by rossberg
10m 45s main
main
10m 45s
[spec] Add definitions for state access shorthands CI for spectec #91: Commit acaebb2 pushed by rossberg
10m 16s main
main
10m 16s
[spec] Fix macro (#2033) CI for spectec #90: Commit 7f7fc33 pushed by rossberg
10m 38s main
main
10m 38s
[spec] Fix macro CI for spectec #89: Pull request #2033 synchronize by rossberg
8m 38s fix.2032
fix.2032
8m 38s
[spectec] Implement IterPr in IL evaluator (#2031) CI for spectec #88: Commit 64478fc pushed by rossberg
10m 36s main
main
10m 36s
[spectec] Implement IterPr in IL evaluator CI for spectec #87: Pull request #2031 synchronize by rossberg
10m 29s iterpr
iterpr
10m 29s
[spectec] Implement IterPr in IL evaluator CI for spectec #86: Pull request #2031 synchronize by rossberg
10m 34s iterpr
iterpr
10m 34s
[spectec] Implement IterPr in IL evaluator CI for spectec #85: Pull request #2031 opened by rossberg
10m 18s iterpr
iterpr
10m 18s
[spec] Fix typo in rule CI for spectec #84: Commit 6f3007c pushed by rossberg
8m 51s main
main
8m 51s
[spec] Fix off-by-one in reserved type index (#2029) CI for spectec #83: Commit 6d81d8c pushed by rossberg
10m 33s main
main
10m 33s
[spec] Fix off-by-one type index CI for spectec #82: Pull request #2029 opened by rossberg
10m 29s rossberg-patch-1
rossberg-patch-1
10m 29s
[spec] Add missing syntax for idx CI for spectec #81: Commit 4e314da pushed by rossberg
13m 15s main
main
13m 15s
[spec] Group reference instructions more consistently CI for spectec #80: Commit a5f4a85 pushed by rossberg
10m 32s main
main
10m 32s