formal verification

Remove unused IERC165 imports from AccessControl extensions #9238

Sign in to view logs

Triggered via pull request January 3, 2026 12:23

Azzurra88

opened #6256

Azzurra88:cleanup-accesscontrol-imports

Status Success

Total duration 6m 43s

Artifacts –

formal-verification.yml

on: pull_request