Merge branch 'add/badge' into 'master'

Add CI badge

See merge request !1
1 job for master in 1 minute and 19 seconds (queued for 3 seconds)