Merge branch 'master' of forge.etsi.org:SAREF/saref-pipeline

2 jobs from master in 26 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #9957
build

00:00:26

passed #9625
build

00:00:20