Skip to content
Back to pull request #5259

Deprecate SafeERC20.safeIncreaseAllowance and SafeERC20.safeDecreaseAllowance #5170

Sign in to view logs

Deprecate SafeERC20.safeIncreaseAllowance and SafeERC20.safeDecreaseAllowance

Deprecate SafeERC20.safeIncreaseAllowance and SafeERC20.safeDecreaseAllowance #5170

Triggered via pull request October 16, 2024 19:48
@AmxxAmxx
synchronize #5259
Amxx:5_1_rc/erc20/deprecate_safe_increase_decrease
Status Success
Total duration 1m 6s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
8s
apply-diff
verify
0s
verify
halmos
53s
halmos
Fit to window
Zoom out
Zoom in