formal verification

Remove unused import in `SafeERC20` #5247

Sign in to view logs

Triggered via pull request October 23, 2024 14:57

0xsambugs

opened #5278

Balmy-protocol:chore/remove-unused-import-safe-erc20

Status Success

Total duration 1m 10s

Artifacts –

formal-verification.yml

on: pull_request