Update debian builds in CI
This PR updates the debian CI configuration to use the generic names oldstable
, stable
, and testing
, rather than any particular codenames. This hopefully means that things are more future-proof.
This PR updates the debian CI configuration to use the generic names oldstable
, stable
, and testing
, rather than any particular codenames. This hopefully means that things are more future-proof.