Merge branch 'ci' into 'devel'

Basic CI/CD setup

See merge request !1
2 jobs for devel in 5 minutes and 50 seconds (queued for 1 second)