Skip to content
Snippets Groups Projects

Merge branch 'master' of git.se.informatik.uni-kiel.de:she/spesb

Passed
Sören Henning created pipeline for commit da87b629
, finished
For master
5 jobs 3 minutes 47 seconds, queued for 2 seconds