[WIP] Update GitHub Actions to December 2025 latest#3

zircote merged 1 commit intochore/update-dependencies-dec-2025zircote/.github:chore/update-dependencies-dec-2025from

copilot/sub-pr-1-againzircote/.github:copilot/sub-pr-1-againCopy head branch name to clipboard