formal verification

Remove unused `_hashedName` and `_hashedVersion` from upgradeable #21

Sign in to view logs

Triggered via pull request December 18, 2025 13:28

arr00

opened #17

arr00:chore/remove-unused-hashed-values

Status Success

Total duration 6m 57s

Artifacts –

formal-verification.yml

on: pull_request