gitlab-ci use dependency proxy

Sebastian Listl requested to merge pipeline_optimisation into 2023.1

Merge request reports