Skip to content

Actions: pulseengine/wrt

Actions

KANI Formal Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani-regression.yml
236 workflow runs
236 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

KANI Formal Verification KANI Formal Verification #236: Scheduled
1m 6s main
main
1m 6s
fix(runtime): remove WASIP2 interception and fix cross-instance CallI… KANI Formal Verification #235: Commit f2b49e4 pushed by avrabe
9m 38s main
main
9m 38s
KANI Formal Verification KANI Formal Verification #234: Scheduled
58s main
main
58s
KANI Formal Verification KANI Formal Verification #233: Scheduled
1m 9s main
main
1m 9s
KANI Formal Verification KANI Formal Verification #232: Scheduled
58s main
main
58s
KANI Formal Verification KANI Formal Verification #231: Scheduled
53s main
main
53s
KANI Formal Verification KANI Formal Verification #230: Scheduled
55s main
main
55s
KANI Formal Verification KANI Formal Verification #229: Scheduled
1m 10s main
main
1m 10s
fix(runtime): add block stack popping to br_table instruction KANI Formal Verification #228: Commit b1e3fd4 pushed by avrabe
1m 25s main
main
1m 25s
KANI Formal Verification KANI Formal Verification #227: Scheduled
1m 4s main
main
1m 4s
KANI Formal Verification KANI Formal Verification #226: Scheduled
1m 12s main
main
1m 12s
KANI Formal Verification KANI Formal Verification #225: Scheduled
55s main
main
55s
KANI Formal Verification KANI Formal Verification #224: Scheduled
1m 2s main
main
1m 2s
KANI Formal Verification KANI Formal Verification #223: Scheduled
1m 2s main
main
1m 2s
KANI Formal Verification KANI Formal Verification #222: Scheduled
1m 12s main
main
1m 12s
KANI Formal Verification KANI Formal Verification #221: Scheduled
1m 0s main
main
1m 0s
KANI Formal Verification KANI Formal Verification #220: Scheduled
58s main
main
58s
KANI Formal Verification KANI Formal Verification #219: Scheduled
55s main
main
55s
KANI Formal Verification KANI Formal Verification #218: Scheduled
1m 5s main
main
1m 5s
KANI Formal Verification KANI Formal Verification #217: Scheduled
56s main
main
56s
fix(wast): improve validator stack handling and add instruction coverage KANI Formal Verification #216: Commit 320b7d7 pushed by avrabe
1m 3s main
main
1m 3s
KANI Formal Verification KANI Formal Verification #215: Scheduled
1m 10s main
main
1m 10s
KANI Formal Verification KANI Formal Verification #214: Scheduled
1m 3s main
main
1m 3s
KANI Formal Verification KANI Formal Verification #213: Scheduled
1m 14s main
main
1m 14s
KANI Formal Verification KANI Formal Verification #212: Scheduled
1m 8s main
main
1m 8s