Skip to content
Snippets Groups Projects

Merge branch 'ci' into 'master'

Passed
Stephen D created pipeline for commit 7eb101b3
, finished
For master
1 job 13 seconds, queued for 2 seconds