Skip to content

[misc] Rename reference scripts & corr CI job paths#1985

Merged
felixdittrich92 merged 1 commit intomindee:mainfrom
felixdittrich92:rename-scripts
Jul 9, 2025
Merged

[misc] Rename reference scripts & corr CI job paths#1985
felixdittrich92 merged 1 commit intomindee:mainfrom
felixdittrich92:rename-scripts

Commits

Commits on Jul 9, 2025