Skip to content

Preliminary fixes for CI

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

Merge request reports

Loading