Skip to content

Harden time math, permit signature verification, and overflow safety - #1057

Merged
nanaf6203-bit merged 3 commits into
MettaChain:mainfrom
khalyaro:feature/permit-signature-and-overflow-fixes
Aug 25, 2026
Merged

Harden time math, permit signature verification, and overflow safety#1057
nanaf6203-bit merged 3 commits into
MettaChain:mainfrom
khalyaro:feature/permit-signature-and-overflow-fixes

ci: temporarily disable smoke gate

62cbf63
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Run Kani Proofs
succeeded Aug 25, 2026 in 1m 19s