Commit dd441567 authored by David Trudgian's avatar David Trudgian

Merge branch 'CI' into 'master'

CI badges

See merge request !3
parents dca41bff c7a0e789
Pipeline #2942 passed with stages
in 3 minutes and 3 seconds