Commit 85dba590 authored by Adrien Dorsaz's avatar Adrien Dorsaz

Merge branch 'add-tag-to-gitlab-jobs' into 'master'

gitlab-ci: update dockerfile and use tags to use runner with good image

See merge request !15
parents fd206fbc 7859c613
Pipeline #242 failed with stage
in 7 minutes and 36 seconds