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