GitLab

* first test with registry mirror

* change push registry

* remove comments

* Move cache to push registry

* fix registry url

* Update .github/workflows/ci_build.yaml

---------
Co-authored-by: Nicolas Patry <patry.nicolas@protonmail.com>