formal verification

Remove unused IERC165 imports from AccessControl extensions #9261

Sign in to view logs

Triggered via pull request January 6, 2026 09:53

arr00

labeled #6256

Azzurra88:cleanup-accesscontrol-imports

Status Success

Total duration 13m 10s

Artifacts –

formal-verification.yml

on: pull_request