ST-link for MAC OS

I’m not even migrating my project yet, I just took an example blink and try to download it to understand if it works or not.
1.
[env:disco_f100rb]
platform = ststm32
board = disco_f100rb
framework = arduino
upload_protocol = stlink

error:
Uploading .pio/build/disco_f100rb/firmware.elf
xPack OpenOCD, x86_64 Open On-Chip Debugger 0.10.0+dev-00378-ge5be992df (2020-06-26-12:31)
Licensed under GNU GPL v2
For bug reports, read
OpenOCD: Bug Reporting
debug_level: 1

hla_swd
in procedure ‘program’
** OpenOCD init failed **
shutdown command invoked

*** [upload] Error 1

[env:disco_f051r8]
platform = ststm32
board = disco_f051r8
framework = arduino
upload_protocol = stlink

  • toolchain-gccarmnoneeabi 1.90201.191206 (9.2.1)
    Error: This board doesn’t support arduino framework!

The blinking LEDs were charged earlier, possibly at the factory.