Skip to content

Merge branch 'main' of es-git.cs.uni-tuebingen.de:es/ai/hannah/hannah #181

Merge branch 'main' of es-git.cs.uni-tuebingen.de:es/ai/hannah/hannah

Merge branch 'main' of es-git.cs.uni-tuebingen.de:es/ai/hannah/hannah #181

build-and-deploy

succeeded May 16, 2024 in 47s