CI .deb packages should be built on Ubuntu 18.04
Xyene opened this issue · 2 comments
Xyene commented
Currently they target 20.04 and thus limit compatibility to that or newer, but we should be able to ~easily downgrade to 18.04 (the oldest release supported by GitHub actions).
quantum5 commented
The difficulty of this has been vastly underestimated. For one, bionic doesn't have dune so the Debian build script won't work.
Xyene commented
Yeah, let's not do it.