Skip to content

Reorganize project and merge OS-specific branches

We should create different Dockerfile files on the same branch, and rewrite Jenkinsfile so it builds all required dockerfiles. There's no point maintaining things on separate branches, the same for the configured Jenkins tasks.