Skip to content

ci: bump shared workflow + conventions pins#8

Merged
jorisjonkers-dev-agents[bot] merged 2 commits into
mainfrom
ci/wave2-jvmbump
Jul 3, 2026
Merged

ci: bump shared workflow + conventions pins#8
jorisjonkers-dev-agents[bot] merged 2 commits into
mainfrom
ci/wave2-jvmbump