Commit 74b4080b authored by jonas's avatar jonas

Merge branch 'ci' into 'master'

Setup CI

See merge request !1
parents ec6d665e 408f04a2
Pipeline #887 passed with stage
in 1 minute and 58 seconds