Commit 8888b9f3 authored by Steve Mcintyre's avatar Steve Mcintyre

Make CI faster by using a fuller-featured CI image

Switch to using the existing pkg-debian9 image, so we don't have to
spend ages installing dependencies for a tiny CI run
parent a91ec509
Pipeline #2301 passed with stages
in 39 seconds