formal verification

Remove unused import in `SafeERC20` #5248

Sign in to view logs

Triggered via pull request October 23, 2024 15:00

0xsambugs

synchronize #5278

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

Status Success

Total duration 53s

Artifacts –

formal-verification.yml

on: pull_request