Skip to content

Feature/dev env

Julien Andrieux requested to merge feature/dev_env into develop

Document the development environment, and change the tools to have:

  • ansible to deploy tools and configure environment
  • Makefile to have all the commands to build and test the code
  • Vagrantfile to have a local environment
  • .gitlab-ci.yml to setup the CI tasks

Merge request reports