Skip to content
Back to pull request #21

Fix repo name in promote script #65

Sign in to view logs

Fix repo name in promote script

Fix repo name in promote script #65

Build and deploy Explore (ubuntu-22.04, temurin@17)

Build and deploy Explore (ubuntu-22.04, temurin@17)
succeeded Oct 9, 2025 in 7m 31s