How do I update github actions to Node.js 20?

[ranocha]

I would expect that those PRs update the versions of some GitHub actions like from actions/checkout@v3 to actions/checkout@v4. But I would need to have a lonk to the PRs to tell you more