No sudo here

.github/workflows/kani.yml

@@ -196,7 +196,7 @@ jobs:
         run: |
           # inspired by https://github.com/easimon/maximize-build-space/blob/master/action.yml
           df -h
-          sudo rm -rf /usr/share/dotnet /usr/local/lib/* /opt/*
+          rm -rf /usr/share/dotnet /usr/local/lib/* /opt/*
           df -h
       # This is required before checkout because the container does not
       # have Git installed, so cannot run checkout action. The checkout