Gitlab integration

Mattia Mancinirequested to merge
gitlab_integration into master

Add gitlab pipeline

Add the following operation in a gitlab CI/CD pipeline

  • Build the holography docker images
  • Run tests of the holography software
  • Pushes to docker.io if user confirms it
Edited by Mattia Mancini

Merge request reports