Skip to content

WIP: Ubuntu compatibility

Don't know if it's ready to merge. Can you look at the pipeline @alessiocurri. the errors in the verify step were already there in previous commits, but I dunno for the ubuntu machines @stephanearmanet

Merge request reports