Skip to content

Update debian CI jobs

Duncan Macleod requested to merge debian-ci into main

This PR updates the Debian jobs in CI to use distribution names, not codenames; hopefully this means they are a bit more future-proof and we don't have to update things manually.

Merge request reports