various improvements to GitLab CI definition
some improvements to the CI infra. Any reverted commits (and original commits) should be dropped at next rebase.
some improvements to the CI infra. Any reverted commits (and original commits) should be dropped at next rebase.