Skip to content

GitLab

Merged
Created by lperesde@lperesdeMaintainer

Remove docker from CI

This PR fixes all problems we were having with Docker by favouring direct continuous integration with the osl machines.