This is due to the missing toolchain. The author of the instructions shared by truss-dk left out the step where they installed the production version of the platform via Boards Manager to get the toolchain (that's why you see two "Arduino Mbed OS Boards (nRF52480/STM32H747)" entries in the screenshot).
It must be installed here:
C:\Users\<user name>\AppData\Local\Arduino15\packages\Seeeduino\tools\arm-none-eabi-gcc\7-2017q4
You should also install all the other tools dependencies of the platform (see my previous reply for how to find them). You might get by without one or two depending on what you are doing (e.g., you don't need arduinoOTA if you aren't doing over the air uploads), but it's probably easiest to just install all of them.
The folder structure should look like this
C:\Users\<user name>\AppData\Local\Arduino15
`-- packages
`-- Seeeduino
`-- tools
|-- CMSIS
| `-- 5.7.0
| |-- ARM.CMSIS.pdsc
| |-- CMSIS
| |-- Device
| `-- LICENSE.txt
|-- CMSIS-Atmel
| `-- 1.2.1
| |-- CMSIS-Atmel
| |-- LICENSE
| |-- Makefile
| |-- README.md
| `-- extras
|-- arduinoOTA
| `-- 1.2.1
| `-- bin
|-- arm-none-eabi-gcc
| `-- 7-2017q4
| |-- arm-none-eabi
| |-- bin
| |-- lib
| `-- share
`-- bossac
|-- 1.7.0-arduino3
| `-- bossac.exe
`-- 1.8.0-48-gb176eee
`-- bossac.exe