Fix up `gersemi` check#1032

Merged

jhale merged 3 commits into

mainfrom

schnellerhase/gersemi

Jun 30, 2026

SonarQubeCloud / SonarCloud Code Analysis succeeded Jun 30, 2026 in 37s

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