Skip to content

Fix bug where GENERATE_PREFIXES registers the generated prefix but doesn't assign it to the namespace info#268

Merged
Bergmann89 merged 3 commits into
Bergmann89:masterfrom
g-pichler:generate_prefixes_bug
Apr 28, 2026
Merged

Fix bug where GENERATE_PREFIXES registers the generated prefix but doesn't assign it to the namespace info#268
Bergmann89 merged 3 commits into
Bergmann89:masterfrom
g-pichler:generate_prefixes_bug

Remove the `GENERATE_PREFIXES` flag from the test config to make the …

1b8e7a1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
check (ubuntu-latest)
succeeded Apr 28, 2026 in 5m 24s