Skip to content

Fix gitlab ci

Rui Hu requested to merge fix_gitlab_ci into master

Fix gitlab CI to allow building and pushing docker image to our gitlab registry.

Merge request reports