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