CI fixes
-
CI: Remove obsolete Jenkinsfile
-
CI: Build on Debian 10 and 11, instead of 9 and 10
Debian 9 is way past end-of-life and has now been removed from the main Debian mirrors, causing CI to fail.
CI: Remove obsolete Jenkinsfile
CI: Build on Debian 10 and 11, instead of 9 and 10
Debian 9 is way past end-of-life and has now been removed from the main Debian mirrors, causing CI to fail.