Skip to content

set the shell to make windows ci happy maybe #219

set the shell to make windows ci happy maybe

set the shell to make windows ci happy maybe #219

Linux

succeeded Nov 2, 2024 in 32s