Skip to content

Minor fixes

Philipp S. Sommer requested to merge minor-fixes into main

minor fixes for ci and makefile

Merge request reports