Skip to content

CI: preserve selected nodeids as JSON arrays - #562

Merged
cvanelteren merged 2 commits into
mainfrom
fix/ci-nodeid-json-safe
Feb 6, 2026
Merged

CI: preserve selected nodeids as JSON arrays#562
cvanelteren merged 2 commits into
mainfrom
fix/ci-nodeid-json-safe

Commits

Commits on Feb 6, 2026