Merge pull request #342 from ls1intum/chore/update-benchmarking-tool #104
deploy.yml
on: push
build-prod-container
/
build
2m 38s
deploy-prod-container
/
deploy
57s