Merge branch 'develop' into 'master'

Develop

Closes #42

See merge request sdc/grisinv!32
1 job for master in 5 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
failed build:linux #2751

00:00:05

 
Name Stage Failure
failed
build:linux Build
Reinitialized existing Git repository in /builds/sdc/grisinv/.git/
Checking out 7f9197f9 as master...

Skipping Git submodules setup
Executing "step_script" stage of the job script
$ apt-get -qq install -y make
E: Package 'make' has no installation candidate
Cleaning up file based variables
ERROR: Job failed: exit code 1