If it’s using the standard Arduino STM32 core, then try to follow the configuration options shown at Difficulty with getting USB serial [USB CDC] working - #6 by maxgerhardt (the build_flags section)
If it’s using the standard Arduino STM32 core, then try to follow the configuration options shown at Difficulty with getting USB serial [USB CDC] working - #6 by maxgerhardt (the build_flags section)