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() {
    delay(2000);

    UNITY_BEGIN();
    RUN_TEST(test_calculator_addition);
    UNITY_END();
}

void loop() {
    delay(1000);
    Serial.println("Step");
}

If I try to run Test command, nothing happens


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

image
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.