Updating gh actions version numbers

[eviau-artefactual]

While working on the spellchecking, I noticed this warning: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/

Here is a fix, if we want.