I cannot get serial output from nucleo-h753zi via stlink.
(nucleo-h753zi is supported from current latest version 2.7.1.)
Is there any way to resolve this?
I could get output from CDC on other usb serial port.

The code I tried.

#include <Arduino.h>

void setup() {
  Serial3.setRx(PIN_SERIAL_RX);
  Serial3.setTx(PIN_SERIAL_TX);
  Serial3.begin(115200);
  Serial.begin(115200);
}

void loop() {
  Serial3.println("hello from Serial3 at " + String(millis()));
  Serial.println("hello from Serial at " + String(millis()));
  delay(1000);
}

With CDC

Without CDC

Desktop (please complete the following information):

• OS: Ubuntu22.04
• Arduino IDE version: 1.8.19
• STM32 core version: 2.7.1
• Tools menu settings: See attached screen shots.
• Upload method: Mass Storage

Board (please complete the following information):

• Name: nucleo-h753zi