Skip to content
Snippets Groups Projects

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

Passed
Sören Henning created pipeline for commit 2f2a0eff
, finished
For master
57 jobs 2 minutes 40 seconds, queued for 1,556 seconds