[CI environment] Removed checkout repository leftovers#2155
Merged
AlexanderSehr merged 1 commit intomainfrom Sep 30, 2022
Merged
[CI environment] Removed checkout repository leftovers#2155AlexanderSehr merged 1 commit intomainfrom
AlexanderSehr merged 1 commit intomainfrom
