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
Do not fuzz gufa-waitqueue.wast CI #20346: Pull request #9050 opened by tlively
In progress tlively-patch-1
tlively-patch-1
In progress
Constraints: Do not optimize floats without fast-math CI #20345: Pull request #9049 synchronize by kripken
36m 44s kripken:c.fastm
kripken:c.fastm
36m 44s
Constraints: Do not optimize floats without fast-math CI #20344: Pull request #9049 opened by kripken
33m 52s kripken:c.fastm
kripken:c.fastm
33m 52s
Constraints: Propagate constants when proving (#9047) CI #20343: Commit e258ff0 pushed by kripken
35m 2s main
main
35m 2s
Enable ConstraintAnalysis pass CI #20342: Pull request #9010 synchronize by kripken
44m 12s kripken:fuzz.constraint
kripken:fuzz.constraint
44m 12s
Constraints: Propagate constants when proving CI #20341: Pull request #9047 synchronize by kripken
34m 25s kripken:c.bettr
kripken:c.bettr
34m 25s
Do not flatten trapping memory segments (#9048) CI #20340: Commit cce27ed pushed by kripken
34m 11s main
main
34m 11s
Fix depth map for waitqueues (#9040) CI #20339: Commit b7c050e pushed by stevenfontanella
35m 38s main
main
35m 38s
Fix br_on_cast parsing with non-nullable extra values CI #20338: Pull request #9036 synchronize by pttydou
Action required pttydou:fix-br-on-cast-extra-values
pttydou:fix-br-on-cast-extra-values
Action required
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