Skip to content
Snippets Groups Projects
Commit 183dd8b6 authored by Sören Henning's avatar Sören Henning
Browse files

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

parents 7c875f58 bd742bf5
No related branches found
No related tags found
No related merge requests found
Pipeline #11119 passed
Stage: build
Stage: test
Stage: check
Stage: deploy
Stage: smoketest