Skip to content

Merge pull request #8 from KIT-MRT/add_ci_docker_deployment #4

Merge pull request #8 from KIT-MRT/add_ci_docker_deployment

Merge pull request #8 from KIT-MRT/add_ci_docker_deployment #4

build-and-push-image

succeeded Apr 22, 2024 in 51s