Features/new features#2

Merged

gamosoft merged 2 commits intomainfrom

features/new-features

Nov 9, 2025

Commits on Nov 8, 2025

try to make the docker build only when pushing into main (direct or PR merge)
guillermovillarfrontiers
committed

Commits on Nov 9, 2025

miscellaneous
guillermovillarfrontiers
committed