Skip to content
Snippets Groups Projects
Commit ce6bfe80 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 0c5a706e 22ec8202
No related branches found
No related tags found
Pipeline #9433 passed
Stage: build
Stage: test
Stage: check
Stage: deploy
Stage: smoketest