Merge pull request #134 from moves-rwth/117-new #102

Triggered via push November 10, 2024 11:58

main

Status Success

Total duration 2m 35s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	561 KB