This PR bumps GitHub workflow actions to their latest versions, thus avoiding deprecation messages as seen e.g. here.