test: Halmos symbolic proofs + invariant suite for AccountConfiguration#25
Draft
chunter-cb wants to merge 1 commit into
Draft
test: Halmos symbolic proofs + invariant suite for AccountConfiguration#25chunter-cb wants to merge 1 commit into
chunter-cb wants to merge 1 commit into
StepSecurity Actions Security / StepSecurity Required Checks
succeeded
Jul 7, 2026 in 0s
StepSecurity Required Checks
Finished StepSecurity Required Checks
- NPM Package Cooldown Check - Fails if any package version in the PR was released within the configured cooldown period, helping to avoid brand-new (and potentially unreviewed or malicious) releases
- NPM Compromised Packages Check - Checks for compromised npm package versions in the PR
Details
✅ NPM Package Cooldown Check
No npm package upgrades to recent releases found in current PR.
✅ NPM Compromised Packages Check
No Compromised npm packages are added in current PR.
Loading