[CI] Cleanup.

Dr. Jorrit Fahlkerequested to merge
ci-cleanup into master
  • Don't call make (with no goal) seperately, that's implicit in the install goal, and the way cmake generates Makefiles means make wastes time rechecking when called twice.
  • cd into the build directory, this makes the following commands easier to read

Merge request reports