Forward-merge branch-0.35 to branch-0.36#128

Merged

GPUtester merged 1 commit intobranch-0.36from branch-0.35

Nov 16, 2023

+4-2

Commits on Nov 16, 2023

Fix skbuild arguments in build.sh (#124 )
pentschev
authored