Skip to content

Stop using address.aliases (half 1 of 2) - #1289

Merged
don-petry merged 2 commits into
mainfrom
fix/drop-persona-aliases
Jul 17, 2026
Merged

Stop using address.aliases (half 1 of 2)#1289
don-petry merged 2 commits into
mainfrom
fix/drop-persona-aliases

fix(personas): drop the last aliases fixture and scope the theorem claim

00b757c
Select commit
Loading
Failed to load commit list.
SonarQubeCloud / SonarCloud Code Analysis succeeded Jul 17, 2026 in 25s

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

View more details on SonarQubeCloud