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