Commit 4cebcdfd authored Aug 29, 2025 by Dimitrios Laskaratos

Merge branch 'dev' into 'main'

Added gitlab CI file

See merge request !5