Skip to content

feat: allow any URI or a local name in agent placeholders - #660

Merged
tkuhn merged 3 commits into
masterfrom
feat/652-any-uri-agent-placeholder
Aug 28, 2026
Merged

feat: allow any URI or a local name in agent placeholders#660
tkuhn merged 3 commits into
masterfrom
feat/652-any-uri-agent-placeholder

fix: align the "mint locally" note with the value in a selected choice

42d4789
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Testing with Java 23 (temurin)
succeeded Aug 28, 2026 in 2m 21s