[misc] Rename reference scripts & corr CI job paths#1985
Merged
felixdittrich92 merged 1 commit intomindee:mainfrom Jul 9, 2025
Merged
[misc] Rename reference scripts & corr CI job paths#1985felixdittrich92 merged 1 commit intomindee:mainfrom
felixdittrich92 merged 1 commit intomindee:mainfrom