Skip to content

Reconcile roadmap 4.2.3 with ExecPlan completion evidence (#738) - #755

Merged
leynos merged 12 commits into
mainfrom
issue-738-reconcile-roadmap-4-2-3-with-execplan-completion-evidence
Sep 22, 2026
Merged

leynos merged 12 commits into
mainfrom
issue-738-reconcile-roadmap-4-2-3-with-execplan-completion-evidence

Fix the Kani wrapper's timeout and reconcile the plan with review

9e6ecb7
Select commit
Loading
Failed to load commit list.
Sourcery AI / Sourcery review skipped Sep 21, 2026 in 0s

⏭️ Skipped

Sorry @leynos, you've used your own review budget of 250,000 diff characters for the last 7 days.

You can request another review in 2 days and 13 hours by commenting @sourcery-ai review. Upgrade to get a review now.