[Bug] Failed to build when installing Zenoh-Pico from PlatformIO registry

[cguimaraes]

Describe the bug

When installing Zenoh-Pico from PlatformIO registry, it fails to build because it cannot find Zenoh-Pico package. It happens (at least) in both Ubuntu and MacOS.

Library Manager: Installing cguimaraes/zenoh-pico @ ^0.7.0-rc
Error: Could not find the package with 'cguimaraes/zenoh-pico @ ^0.7.0-rc' requirements for your system 'linux_x86_64'

Library Manager: Installing cguimaraes/zenoh-pico @ ^0.7.0-rc
Error: Could not find the package with 'cguimaraes/zenoh-pico @ ^0.7.0-rc' requirements for your system 'darwin_arm64'

To reproduce

1. pio init -b
2. pio lib install cguimaraes/zenoh-pico
3. pio run

System info

• Platform: Ubuntu 20.04 or MacOS
• Zenoh Version: v0.7.0
• PlatformIO version: PlatformIO Core, version 6.1.6a4

[cguimaraes]

It seems that if no version is defined in platformio.ini, it works.

Working:

[env:esp32thing_plus]
platform = espressif32
board = az-delivery-devkit-v4
framework = arduino
lib_deps = cguimaraes/zenoh-pico

Non-working:

[env:esp32thing_plus]
platform = espressif32
board = az-delivery-devkit-v4
framework = arduino
lib_deps = cguimaraes/zenoh-pico@^0.7.0-rc

[cguimaraes]

Since this seems to be related to PlatformIO build system, an issue was created in its repositories. Follow its status here: https://github.com/platformio/platformio-core/issues/4536