Guillaume/ci rebase#46

Merged

artivis merged 7 commits intomasterfrom

guillaume/ci_rebase

Oct 12, 2022

Commits on Sep 30, 2022

fix(CI): allow manual CI trigger
Guillaumebeuzeboc
committed

Commits on Oct 6, 2022

fix(ci): docker image is now fixed
Guillaumebeuzeboc
committed

Commits on Oct 7, 2022

fix(CI): apply suggested changes
Guillaumebeuzeboc
committed