Skip to content

Fix CI

Michael Buehlmann requested to merge fix_ci into master

This should fix issues with the CI pipeline and new versions of Debian (docker)

Merge request reports