Skip to content

Configure Mend Bolt for GitHub #891

Configure Mend Bolt for GitHub

Configure Mend Bolt for GitHub #891

build-dev-container  /  build (./client/Dockerfile, ghcr.io/ls1intum/prompt/prompt-client, ./client, client)

succeeded Nov 19, 2024 in 9s