Merge branch 'master' of gitlab.existsolutions.com:tei-publisher/dodis-facets

Status Job ID Name Coverage
  Build
canceled #179
build

 
  Test
canceled #181
allowed to fail
code_quality

canceled #180
test