Raspberry Pi Pico unit testing

There is an simple project to understand how to run test for a project on RP2040-ETH board. Test file is very simple:

#include <Arduino.h>
#include <unity.h>

void tearDown(void) {}

int add(int a, int b)
    return a + b;

void test_calculator_addition(void) {
    TEST_ASSERT_EQUAL(32, add(25, 7));

void setup() {


void loop() {

If I try to run Test command, nothing happens

and there is a warning in verbose mode about diffrerent HWID than expected

It seems uploading works fine but there are no test results.

Am I doing something wrong?
ini file:

Can you test the exact code from https://github.com/maxgerhardt/platform-raspberrypi/issues/28#issuecomment-1533664099?

Thanks for idea!
It works if configuration is changed from board = pico
to board = rpipico.
Trying to understand what the difference is…

That’s weird…

board = pico
board_build.core = earlephilhower

should be equivalent to

board = rpipico

otherwise I’ve made a mistake. Need to double check.