Merge branch 'devel' into 'testing'

update ci config

See merge request !145
1 job for testing in 15 seconds (queued for 1 second)