Skip to content

[TASK] add CI#1

Merged
PierreSchnizer merged 4 commits intodev/mainfrom dev/feature/ci-pipelineJul 12, 2024

Commits

Commits on Jul 10, 2024