Merge branch 'develop' into 'main'

Simplify Docker image build process in `.gitlab-ci.yml` by removing unused...

See merge request !2