Skip to content

ci: update pinned tool versions - #111

Merged
mbarbero merged 1 commit into
mainfrom
ci/update-pinned-tool-versions
Aug 10, 2026
Merged

ci: update pinned tool versions#111
mbarbero merged 1 commit into
mainfrom
ci/update-pinned-tool-versions

ci: update pinned tool versions

060237c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 4 notices
submit-maven
succeeded Aug 10, 2026 in 23s