Skip to content

CI: Drop Debian-specific jobs

georg requested to merge ci-drop-debian-jobs into release-4.0

While in theory a good idea, I never made use of them. It's time to finally drop them.

Merge request reports