mirror of
https://github.com/systemd/systemd.git
synced 2026-08-12 22:17:19 +00:00
We don't run coverage on stable branches anyway, so it's just a waste of CI (cherry picked from commitb9855e6cf5) (cherry picked from commit9884499c06)