Skip to content

Several small CI quality of life improvements

Kevin Daudt requested to merge improve-ci into master

This adds some smaller CI improvements, some codewide, but also improvents to the build output:

  • Fix warning about REPODEST being unreachable
  • Add Gitlab section headers
  • Set a default branch name for git to remove the warning
Edited by Kevin Daudt

Merge request reports