Skip to content

Use bash instead of cmd for Windows CI jobs#7989

Merged
ricardoV94 merged 1 commit intopymc-devs:mainfrom
maresb:remove-cmd
Dec 8, 2025
Merged

Use bash instead of cmd for Windows CI jobs#7989
ricardoV94 merged 1 commit intopymc-devs:mainfrom
maresb:remove-cmd

Commits

Commits on Dec 7, 2025