Skip to content

Actions: WebAssembly/binaryen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Avoid newly exposing prototypes in GTO CI #20337: Pull request #9043 synchronize by tlively
35m 30s fix-9026
fix-9026
35m 30s
Enable ConstraintAnalysis pass CI #20336: Pull request #9010 synchronize by kripken
33m 9s kripken:fuzz.constraint
kripken:fuzz.constraint
33m 9s
ConstraintAnalysis: Fix mixed signed/unsigned comparisons (#9045) CI #20335: Commit 65e9a83 pushed by kripken
36m 20s main
main
36m 20s
ConstraintAnalysis: Fix mixed signed/unsigned comparisons CI #20334: Pull request #9045 synchronize by kripken
45m 22s kripken:c.sun
kripken:c.sun
45m 22s
(WIP, Gemini) Fuzz waitqueue CI #20333: Pull request #9012 synchronize by stevenfontanella
41m 40s fuzz-waitqueue
fuzz-waitqueue
41m 40s
Do not flatten trapping memory segments CI #20332: Pull request #9048 synchronize by kripken
41m 22s kripken:flatmem.trap.no
kripken:flatmem.trap.no
41m 22s
Do not flatten trapping memory segments CI #20331: Pull request #9048 opened by kripken
1m 41s kripken:flatmem.trap.no
kripken:flatmem.trap.no
1m 41s
ConstraintAnalysis: Fix mixed signed/unsigned comparisons CI #20330: Pull request #9045 synchronize by kripken
43m 51s kripken:c.sun
kripken:c.sun
43m 51s
Fix depth map for waitqueues CI #20329: Pull request #9040 synchronize by stevenfontanella
36m 36s depth
depth
36m 36s
ConstraintAnalysis: Fix mixed signed/unsigned comparisons CI #20328: Pull request #9045 synchronize by kripken
12m 53s kripken:c.sun
kripken:c.sun
12m 53s
Constraints: Propagate constants when proving CI #20327: Pull request #9047 opened by kripken
36m 24s kripken:c.bettr
kripken:c.bettr
36m 24s
ConstraintAnalysis: Track local copies through fallthrough values (#9… CI #20326: Commit 876015e pushed by kripken
32m 52s main
main
32m 52s
Constraints: Fix float comparisons (#9041) CI #20325: Commit 0d962bc pushed by kripken
37m 1s main
main
37m 1s
ConstraintAnalysis: Track local copies through fallthrough values CI #20324: Pull request #9046 synchronize by kripken
53m 23s kripken:c.fallteeget
kripken:c.fallteeget
53m 23s
ConstraintAnalysis: Track local copies through fallthrough values CI #20323: Pull request #9046 opened by kripken
2m 15s kripken:c.fallteeget
kripken:c.fallteeget
2m 15s
Validate natural alignment for atomic memory operations (#8966) CI #20322: Commit ad982e2 pushed by tlively
40m 4s main
main
40m 4s
TypeScript Core CI #20321: Pull request #8861 synchronize by chharvey
38m 49s chharvey:feat/ts-core
chharvey:feat/ts-core
38m 49s
Migration to TypeScript (2026) CI #20320: Pull request #8826 synchronize by chharvey
1h 9m 42s chharvey:feat/typescript
chharvey:feat/typescript
1h 9m 42s
TypeScript globals & Module class CI #20319: Pull request #8881 synchronize by chharvey
57m 9s chharvey:feat/ts-globals
chharvey:feat/ts-globals
57m 9s
TypeScript Core CI #20318: Pull request #8861 synchronize by chharvey
40m 28s chharvey:feat/ts-core
chharvey:feat/ts-core
40m 28s
Validate natural alignment for atomic memory operations CI #20317: Pull request #8966 synchronize by ANAMASGARD
36m 0s ANAMASGARD:fix/8962-atomic-alignment-validation
ANAMASGARD:fix/8962-atomic-alignment-validation
36m 0s
ConstraintAnalysis: Fix mixed signed/unsigned comparisons CI #20316: Pull request #9045 synchronize by kripken
28m 43s kripken:c.sun
kripken:c.sun
28m 43s
Validate remaining FP16 instruction features (#8979) CI #20315: Commit 7bed2be pushed by tlively
1m 47s main
main
1m 47s
[JS API] fix: update ExpressionIds enum (#9044) CI #20314: Commit 67ac1ab pushed by tlively
4s main
main
4s
[JS API] fix: update ExpressionIds enum CI #20313: Pull request #9044 opened by chharvey
36m 42s chharvey:fix/9039-js-expression-ids
chharvey:fix/9039-js-expression-ids
36m 42s