Skip to content
Snippets Groups Projects

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

Passed
Sören Henning created pipeline for commit 39e62e6d
, finished
1 related merge request: !152 Adjust Benchmark Definitions for Operator
11 jobs 20 minutes 24 seconds, queued for 3 seconds