Skip to content

fix(ci): pin the Kani version — an upstream release broke every merge - #426

Merged
avrabe merged 1 commit into
mainfrom
fix/pin-kani-version
Sep 16, 2026
Merged

fix(ci): pin the Kani version — an upstream release broke every merge#426
avrabe merged 1 commit into
mainfrom
fix/pin-kani-version

fix(ci): pin the Kani version — an upstream release broke every merge…

14069c5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar