Skip to content

Modernize a bit

Guido Günther requested to merge decruft into main

Decruft ci, use a consistent prefix and some other cleanups. See individual commits for details.

Merge request reports