Skip to content

Actions: WebAssembly/binaryen

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,500+ workflow runs
2,500+ 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
[wasm2js] Support nontrapping float-to-int conversions directly in JS… CI #20294: Commit bb0caa3 pushed by sbc100
36m 0s main
main
36m 0s
ConstraintAnalysis fuzz bug: Do not AND after a branch is not taken CI #20293: Pull request #9035 opened by kripken
37m 29s kripken:constraint.impossible.branch
kripken:constraint.impossible.branch
37m 29s
Use Spans in cases where we can't infer them exactly CI #20292: Pull request #9034 synchronize by kripken
37m 43s kripken:span.proven
kripken:span.proven
37m 43s
Use Spans in cases where we can't infer them exactly CI #20291: Pull request #9034 synchronize by kripken
10m 54s kripken:span.proven
kripken:span.proven
10m 54s
Use Spans in cases where we can't infer them exactly CI #20290: Pull request #9034 synchronize by kripken
11m 40s kripken:span.proven
kripken:span.proven
11m 40s
Use Spans in cases where we can't infer them exactly CI #20289: Pull request #9034 opened by kripken
47s kripken:span.proven
kripken:span.proven
47s
Constraints: Don't store immediate contradictions (#9032) CI #20288: Commit f0fd896 pushed by kripken
35m 19s main
main
35m 19s
Revert binaryen wasm2c (#9033) CI #20287: Commit b899ca2 pushed by lexi-nadia
36m 2s main
main
36m 2s
Revert binaryen wasm2c CI #20286: Pull request #9033 opened by lexi-nadia
27m 10s lexi-nadia:revert-binaryen-wasm2c
lexi-nadia:revert-binaryen-wasm2c
27m 10s
Constraints: Don't store immediate contradictions CI #20285: Pull request #9032 opened by kripken
34m 19s kripken:span.nostore.cont
kripken:span.nostore.cont
34m 19s
Allow struct.wait on equality-comparable fields except floats (#8939) CI #20284: Commit 9b86340 pushed by stevenfontanella
34m 51s main
main
34m 51s
ConstraintAnalysis: Fix parsing of i64 operations (#9029) CI #20283: Commit cafd9c3 pushed by kripken
36m 40s main
main
36m 40s
Allow struct.wait on equality-comparable fields except floats CI #20282: Pull request #8939 synchronize by stevenfontanella
40m 21s waitqueue-eq
waitqueue-eq
40m 21s
Disallow descriptor "L" subtyping (#9011) CI #20281: Commit 293a351 pushed by tlively
6m 41s main
main
6m 41s
[MakeSharedObjects] Fix casts of non-func types (#9031) CI #20280: Commit 93c3dbf pushed by tlively
5m 38s main
main
5m 38s
ConstraintAnalysis: Fix parsing of i64 operations CI #20279: Pull request #9029 synchronize by kripken
51m 2s kripken:c.i64
kripken:c.i64
51m 2s
Disallow descriptor "L" subtyping CI #20278: Pull request #9011 synchronize by tlively
46m 1s no-L-desc-subtyping
no-L-desc-subtyping
46m 1s
[MakeSharedObjects] Fix casts of non-func types CI #20277: Pull request #9031 opened by tlively
37m 2s make-shared-objects-ref-test-cast-i31
make-shared-objects-ref-test-cast-i31
37m 2s
Enable ConstraintAnalysis pass CI #20276: Pull request #9010 synchronize by kripken
48m 25s kripken:fuzz.constraint
kripken:fuzz.constraint
48m 25s
ConstraintAnalysis: Use spans to prove things (#9025) CI #20275: Commit 3fe6a5f pushed by kripken
34m 17s main
main
34m 17s
Add ConstraintAnalysis widening and fuzz it (#9030) CI #20274: Commit d3d84f5 pushed by kripken
44s main
main
44s
Add ConstraintAnalysis widening and fuzz it CI #20273: Pull request #9030 opened by kripken
42m 58s kripken:fuzz.constraint.pre
kripken:fuzz.constraint.pre
42m 58s
ConstraintAnalysis: Use spans to prove things CI #20272: Pull request #9025 synchronize by kripken
35m 3s kripken:i65_span.use
kripken:i65_span.use
35m 3s
ConstraintAnalysis: Fix parsing of i64 operations CI #20271: Pull request #9029 opened by kripken
35m 20s kripken:c.i64
kripken:c.i64
35m 20s
Allow struct.wait on equality-comparable fields except floats CI #20270: Pull request #8939 synchronize by stevenfontanella
35m 13s waitqueue-eq
waitqueue-eq
35m 13s