automated update: 2026-06-10 21:20:20

.github/workflows/docker-publish.yml

@@ -1,5 +1,18 @@
 name: Publish Docker Image
 
+steps:
+  - name: Free up disk space
+    run: |
+      sudo rm -rf /usr/share/dotnet
+      sudo rm -rf /opt/ghc
+      sudo rm -rf "/usr/local/share/boost"
+      sudo rm -rf "$AGENT_TOOLSDIRECTORY"
+      echo "Disk space freed."
+
+  - name: Checkout
+    uses: actions/checkout@v4
+    # ... rest of your steps
+
 on:
   push:
     branches: [ "main" ]

.github/workflows/lint.yml

@@ -1,5 +1,18 @@
 name: Lint Python
 
+steps:
+  - name: Free up disk space
+    run: |
+      sudo rm -rf /usr/share/dotnet
+      sudo rm -rf /opt/ghc
+      sudo rm -rf "/usr/local/share/boost"
+      sudo rm -rf "$AGENT_TOOLSDIRECTORY"
+      echo "Disk space freed."
+
+  - name: Checkout
+    uses: actions/checkout@v4
+    # ... rest of your steps
+
 on:
   push:
     branches: [ "main" ]

.github/workflows/release.yml

@@ -1,5 +1,18 @@
 name: Create GitHub Release
 
+steps:
+  - name: Free up disk space
+    run: |
+      sudo rm -rf /usr/share/dotnet
+      sudo rm -rf /opt/ghc
+      sudo rm -rf "/usr/local/share/boost"
+      sudo rm -rf "$AGENT_TOOLSDIRECTORY"
+      echo "Disk space freed."
+
+  - name: Checkout
+    uses: actions/checkout@v4
+    # ... rest of your steps
+
 on:
   push:
     tags: [ 'v*' ]