Upgrade toolchain to 2025-08-10#4289

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

carolynzech:toolchain-08-10carolynzech/kani:toolchain-08-10Copy head branch name to clipboard