Update TeXLive action and remove disk cleanup step

Removed the disk space cleanup step from the build workflow and updated the xu-cheng/texlive-action to a newer commit with an updated docker image version for PDF generation.

Author: pitmonticone

.github/workflows/push.yml

@@ -23,18 +23,6 @@ jobs:
     runs-on: ubuntu-latest
     name: Build project
     steps:
-      - name: Free disk space on runner
-        run: |
-          echo "Before cleanup"
-          df -h
-          # Remove large preinstalled components we do not need
-          sudo rm -rf /usr/local/lib/android
-          sudo rm -rf /usr/share/dotnet
-          sudo rm -rf /usr/local/graalvm
-          sudo rm -rf /usr/local/.ghcup || true
-          echo "After cleanup"
-          df -h
-
       - name: Checkout project
         uses: actions/checkout@v5
         with:
@@ -59,9 +47,9 @@ jobs:
         run: python3 scripts/upstreaming_dashboard.py
 
       - name: Generate the paper PDF and add it to the website
-        uses: xu-cheng/texlive-action@8268537fedf1198f3ed7000c544bfdbddcbae3b7 # v3
+        uses: xu-cheng/texlive-action@475ab07999e9709e524c3708488c8c170d3a6611 # v3
         with:
-          docker_image: ghcr.io/xu-cheng/texlive-full:20251002
+          docker_image: ghcr.io/xu-cheng/texlive-full:20250401
           run: |
             cd paper
             latexmk -pdf main.tex