Migrate from node.js 20 to 24

Github is in the process of migrating to Node.js 24. The announcement and time schedule are: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Actions that use node20 will fail some time around April 2026.