formal verification

Remove unused IERC165 imports from AccessControl extensions #9260

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 6m 40s

Artifacts –

formal-verification.yml

on: pull_request