Separate Ubuntu .deb packages per Ubuntu release (#4357)

Our .deb packages are now very Ubuntu-specific and are packages based on our CI builds.
2023-02-11 23:50:01 +01:00
parent cf80ae8434
commit 98c2ff5607
10 changed files with 288 additions and 24 deletions
@@ -0,0 +1,4 @@
+build*
+.mypy_cache
+.cache
+.docker