Skip to content

Build additional .debs for Ubuntu 18.04 and 20.04

Nicorequested to merge
178-ubuntu into main

Closes #178 (closed)

Edited by Nico

Merge request reports