Commit 729e7700 authored by Luc's avatar Luc

Merge branch 'devel' into 'master'

Add a CI configuration

See merge request !1
parents 0ab054a8 64b47b17
Pipeline #15 passed with stage
in 2 seconds