FYI: Deprecation of Node 20 on GitHub Actions runners

[Jacques Le Roux via dev]

Hi,

It does not seem to be urgent, though better to be aware.
https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Jacques