Skip to content

python: a bit nicer error on duplicate parametrization#13458

Merged
bluetech merged 2 commits into
mainfrom
dup-param-error
Jun 2, 2025
Merged

python: a bit nicer error on duplicate parametrization#13458
bluetech merged 2 commits into
mainfrom
dup-param-error

python: pinpoint nodeid in a couple of parametrization errors

30407eb
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs