Skip to content

ci: clean up workflow warnings and pin tooling - #796

Merged
marandaneto merged 2 commits into
mainfrom
fix/ci-log-warnings
Jul 29, 2026
Merged

ci: clean up workflow warnings and pin tooling#796
marandaneto merged 2 commits into
mainfrom
fix/ci-log-warnings

Commits

Commits on Jul 29, 2026