Skip to content
Back to pull request #11376

Development: Store shorter repository URI in database #57635

Sign in to view logs

Development: Store shorter repository URI in database

Development: Store shorter repository URI in database #57635

Build and Push Docker Image  /  Build linux/arm64 Docker Image for ls1intum/artemis

Build and Push Docker Image / Build linux/arm64 Docker Image for ls1intum/artemis
succeeded Oct 2, 2025 in 9m 54s