Skip to content
Snippets Groups Projects

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

Failed
Sören Henning created pipeline for commit 71ae7b2c
, finished
For main
67 jobs 25 seconds, queued for 3 seconds