This pull request includes a minor change to the .github/workflows/push.yml file. The change ensures that the rm -rf registry command is executed with sudo privileges.
.github/workflows/push.yml: Added sudo to the rm -rf registry command to ensure it runs with the necessary permissions.
This pull request includes a minor change to the
.github/workflows/push.ymlfile. The change ensures that therm -rf registrycommand is executed withsudoprivileges..github/workflows/push.yml: Addedsudoto therm -rf registrycommand to ensure it runs with the necessary permissions.