Commit 4f5856a9 authored by Virgile Gerecke's avatar Virgile Gerecke 🤘
Browse files

Merge branch 'feature/docker' into 'develop'

Switch CI to docker images

See merge request !40
parents 3be79453 1a3464e2
Pipeline #50452 passed with stage
in 10 seconds