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

Merge branch 'main' into fix/ci-nodeid-json-safe

772a274
Select commit
Loading
Failed to load commit list.