Skip to content

Preliminary fixes for CI

Ike Mulder requested to merge ci-setup into master

Among others, fixes the makefile for building without external projects.

Merge request reports