Skip to content

gitlab-ci: No need for our ci repository

Administrator requested to merge ci into master

Just using debian buster makes things more stable.

Merge request reports