Develop#455

Merged

sir-gon merged 2 commits intomainfrom

May 10, 2024

Commits on May 9, 2024

[CONFIG] Node script for github-actions. Split in 2: One for Coverage, the another to run multi-version/multi-OS tests.
Gonzalo Diaz
committed

Commits on May 10, 2024

[CONFIG] Node script for github-actions, sonarcloud automatic scan disabled (to enable coverage support):
Gonzalo Diaz
committed