Back to pull request #4570

Prevent setting address(0) as the initialAdmin in AccessManager #2207

Sign in to view logs

Triggered via pull request September 5, 2023 08:23

Amxx

synchronize #4570

Amxx:feature/AccessManager/initialAdmin-check

Status Success

Total duration 17s

Artifacts –

formal-verification.yml

on: pull_request